From d508fcc715277ea0a22c007ecde6ebc991d81841 Mon Sep 17 00:00:00 2001
From: Hristina Palikareva <h.palikareva@imperial.ac.uk>
Date: Tue, 8 Oct 2013 16:55:10 +0100
Subject: Bug fix in MetaSMTBuilder

---
 lib/Solver/MetaSMTBuilder.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Solver')

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;	  
         }
-- 
cgit 1.4.1