!!

2019-02-23 19:04:16 +01:00 · 2019-02-23 19:04:16 +01:00 · 79185f1ac4
parent c9d1cbe979
commit 79185f1ac4
1 changed files with 1 additions and 1 deletions
--- a/C-verifier/src/Examples/algorithms.thy
+++ b/C-verifier/src/Examples/algorithms.thy
@ -1084,7 +1084,7 @@ term "FOR (init, b, incr) DO body OD"

 term "DO body WHILE b OD"

-term "SCOP VARS DO body OD"
+term "MODIFY VARS DO body OD"

 end