diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-06 21:24:44 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-06 21:24:44 +1100 |
| commit | aa6f9d8c6bad08cfd336a43e0bb77c2ce860895f (patch) | |
| tree | 040f258773b9b23a4f6d094cc1670ccfe76e647b | |
| parent | 4c546048ba30e97bce4dc82a1962cf76551db0d5 (diff) | |
Fix a minor typo.
| -rw-r--r-- | tex/thesis/contribution/contribution.tex | 2 |
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$ |