summaryrefslogtreecommitdiff
path: root/tex/thesis
diff options
context:
space:
mode:
Diffstat (limited to 'tex/thesis')
-rw-r--r--tex/thesis/contribution/contribution.tex2
1 files changed, 1 insertions, 1 deletions
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$