diff --git a/guide-examples.htm b/guide-examples.htm index 8cb2e84..227567f 100644 --- a/guide-examples.htm +++ b/guide-examples.htm @@ -503,7 +503,7 @@

Machine Arithmetic

-
# Create to bit-vectors of size 32
+
# Create two bit-vectors of size 32
 x, y = BitVecs('x y', 32)
 
 solve(x + y == 2, x > 0, y > 0)
@@ -527,7 +527,7 @@ 
Machine Arithmetic

 

 
 
-
# Create to bit-vectors of size 32
+
# Create two bit-vectors of size 32
 x, y = BitVecs('x y', 32)
 
 solve(x >> 2 == 3)