From 2635a3190ac7602837da8dc98a76b05d9846b831 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Tue, 15 Oct 2019 12:23:38 +0200
Subject: [PATCH] Remove "(ABI)" (unclear)

---
 slides.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/slides.tex b/slides.tex
index 913c2e1..535d247 100644
--- a/slides.tex
+++ b/slides.tex
@@ -408,7 +408,7 @@ Segmentation fault.
 
 \begin{frame}{How do we actually synthesize?}
     \begin{itemize}
-        \item Upon entering a function, we know (ABI)
+        \item Upon entering a function, we know
             \[ \cfa = \reg{rsp} - 8
             \qquad \ra = \cfa + 8 \]
         \item The semantics of each instruction specifies \alert{how it changes \cfa}.