---

yaml --- r: 76564 b: refs/heads/type-of-boolean-ops c: ee07f0a h: refs/heads/develop
smowton · Apr 11, 2019 · 9831dce · 9831dce
1 parent ff7e7d5
commit 9831dce
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/[refs] b/[refs]
@@ -123,7 +123,7 @@ refs/heads/symex-type-renaming4: 600ba5bdcc86dff4cf68099bb16fd8629dc12eec
 refs/heads/test-issue-3653: 379155721d0e6756000898d3d80f9d41aac0a95a
 refs/heads/type-cleanup2: f1980e47f0dc6dd1526d92d660fcea1428204be7
 refs/heads/type-equality: 7a744e6b50540ee9797618077651162a8581bc0e
-refs/heads/type-of-boolean-ops: acde1a83cba94e3ff655ea61bec286295e0f5709
+refs/heads/type-of-boolean-ops: ee07f0a470a7b330b6b318e3446c01844a336747
 refs/heads/unwind-counters4: 57aedaa3fe3995b30ba69c96c9f04df79f8e8ff8
 "refs/heads/use_make_X5": e5f49319d259411f754c149ed371459f426ba855
 "refs/heads/use_object_size_for_heap": b0875f62cd33a7caf08fc5889cf660e24b069bf2

diff --git a/branches/type-of-boolean-ops/src/solvers/flattening/boolbv_typecast.cpp b/branches/type-of-boolean-ops/src/solvers/flattening/boolbv_typecast.cpp
@@ -260,7 +260,7 @@ bool boolbvt::type_conversion(
     {
       INVARIANT(
         src_width == dest_width,
-        "source bitvector with shall equal the destination bitvector width");
+        "source bitvector width shall equal the destination bitvector width");
       dest=src;
       return false;
     }
@@ -418,7 +418,7 @@ bool boolbvt::type_conversion(
       case bvtypet::IS_BV:
         INVARIANT(
           src_width == dest_width,
-          "source bitvector with shall equal the destination bitvector width");
+          "source bitvector width shall equal the destination bitvector width");
         dest = src;
         return false;