Turned equations into assignments in when-algorithm

phannebohm · Sep 10, 2021 · 3fba202 · 3fba202
1 parent 80f268a
commit 3fba202
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/chapters/equations.tex b/chapters/equations.tex
@@ -400,9 +400,9 @@ \subsubsection{Application of the Single-assignment Rule to When-Equations}\labe
 algorithm
   $\ldots$
   when condition1 then
-    close = true;
+    close := true;
   elsewhen condition2 then
-    close = false;
+    close := false;
   end when;
   $\ldots$
 end WhenPriority;