From d2108ad043c3a72e7d860b05d048bc4d0c37684b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 20 Dec 2019 15:42:30 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_context.h b/src/smt/smt_context.h
index 86e2a27cb..0b78bc887 100644
--- a/src/smt/smt_context.h
+++ b/src/smt/smt_context.h
@@ -956,7 +956,7 @@ namespace smt {
 
     public:
         void assign(literal l, const b_justification & j, bool decision = false) {
-            // SASSERT(l != false_literal);
+            SASSERT(l != false_literal);
             SASSERT(l != null_literal);
             switch (get_assignment(l)) {
             case l_false: