From db02328cf3cb21af485c568b0047c60e832cb6c4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 8 Dec 2019 13:05:04 +0300
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/nlqsat.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/qe/nlqsat.cpp b/src/qe/nlqsat.cpp
index 10fc765fd..de0c9ff04 100644
--- a/src/qe/nlqsat.cpp
+++ b/src/qe/nlqsat.cpp
@@ -878,6 +878,7 @@ namespace qe {
                     VERIFY(mk_model(mc));
                     in->add(mc.get());
                     
+#if 0
                     model_ref mdl;
                     model_converter2model(m, mc.get(), mdl);
 
@@ -904,6 +905,7 @@ namespace qe {
                             todo.push_back(to_quantifier(e)->get_expr());
                         }
                     }
+#endif
                 }
                 break;
             case l_undef: