From df2910d62d822fa4a679283bd9ffd9517cc877eb Mon Sep 17 00:00:00 2001 From: Daniela Moura <54228026+merrymeerkat@users.noreply.github.com> Date: Thu, 26 Aug 2021 14:00:29 +0800 Subject: [PATCH] fix small typos --- guide-examples.htm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)