Update tutorial example: double is now a reserved word for float

uclid-org · Nov 14, 2023 · af3b470 · af3b470
1 parent 3bacfb8
commit af3b470
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/tutorial/ex2.1-alu.ucl b/examples/tutorial/ex2.1-alu.ucl
@@ -17,7 +17,7 @@ module main {
     cnt, result.value = 1bv8, 1bv8;
   }
 
-  define double(arg : bv8) : bv8 = (arg + arg);
+  define Double(arg : bv8) : bv8 = (arg + arg);
 
   procedure exec_cmd() 
     returns (r : result_t)
@@ -37,7 +37,7 @@ module main {
 
   next {
     call (result') = exec_cmd();
-    cnt' = double(cnt);
+    cnt' = Double(cnt);
   }
 
   assume regindex_zero    : (r1 == 0bv3 && r2 == 0bv3);

diff --git a/tutorial/tutorial.pdf b/tutorial/tutorial.pdf