Bugfix. Bitblasting failed when a BVSX didn't increase the length

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@613 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/to-sat/BitBlast.cpp b/src/to-sat/BitBlast.cpp
index 39012989e08402c3008eca24de9cf60724ed9025..57eafcec3b4293bf1b286d39f68d7fb7d8591fd0 100644 (file)
--- a/src/to-sat/BitBlast.cpp
+++ b/src/to-sat/BitBlast.cpp
@@ -187,7 +187,7 @@ namespace BEEV
           if (result_width == arg_width)
             {
               //nothing to sign extend
-              result = arg;
+              result = bbarg;
               break;
             }
           else