1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index 0e508b46..2b084ac7 100644
--- a/lib/Solver/MetaSMTBuilder.h
+++ b/lib/Solver/MetaSMTBuilder.h
@@ -928,8 +928,8 @@ typename SolverContext::result_type MetaSMTBuilder<SolverContext>::constructActu
             if (*width_out == 1) {
                 res = evaluate(_solver, metaSMT::logic::Not(child));
             }
-            else {
-                res = evaluate(_solver, bvneg(child));
+            else {                
+                res = evaluate(_solver, bvnot(child));
             }    
             break;	  
         }