From aa6f9d8c6bad08cfd336a43e0bb77c2ce860895f Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Tue, 6 Nov 2012 21:24:44 +1100
Subject: Fix a minor typo.

---
 tex/thesis/contribution/contribution.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tex/thesis/contribution/contribution.tex')

diff --git a/tex/thesis/contribution/contribution.tex b/tex/thesis/contribution/contribution.tex
index 17a1554..987d1e0 100644
--- a/tex/thesis/contribution/contribution.tex
+++ b/tex/thesis/contribution/contribution.tex
@@ -727,7 +727,7 @@ $\solve \fixpoint$ call) and notes the dependency between $x$ and $y$.
     \Comment{Invalidate a fixpoint variable}
     \If {$x \in \stableFP$}
       \State $\stableFP = \stableFP \backslash \{x\}$
-      \State $\D_\old = D[x]$
+      \State $\D_\old[x] = D[x]$
       \State $D[x] = \infty$
       \State $W = \inflFP[x]$
       \State $\inflFP[x] = \emptyset$
-- 
cgit v1.2.3

