From d2ea1acc6cdd7fb00c3d867544dd2ecfef4a0188 Mon Sep 17 00:00:00 2001
From: Klaus Ostermann <klaus.ostermann@uni-tuebingen.de>
Date: Tue, 18 Mar 2025 12:08:46 +0100
Subject: [PATCH] assign_homes goes from x86var to x86int

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

diff --git a/book.tex b/book.tex
index 437988c..a48a6d1 100644
--- a/book.tex
+++ b/book.tex
@@ -3045,7 +3045,7 @@ \section{Planning the Trip to x86}
 \node (Lvar) at (0,2)  {\large \LangVar{}};
 \node (Lvar-2) at (4,2)  {\large \LangVarANF{}};
 \node (x86-1) at (0,0)  {\large \LangXVar{}};
-\node (x86-2) at (4,0)  {\large \LangXVar{}};
+\node (x86-2) at (4,0)  {\large \LangXInt{}};
 \node (x86-3) at (8,0) {\large \LangXInt{}};
 \node (x86-4) at (12,0) {\large \LangXInt{}};