From f0a6837c6701d4cabb1879e33e483e5d65ce84be Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 1 Apr 2020 15:17:09 -0700
Subject: [PATCH] invalid model regression

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/model/model_evaluator.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/model/model_evaluator.cpp b/src/model/model_evaluator.cpp
index 54eeab216..5f72d0707 100644
--- a/src/model/model_evaluator.cpp
+++ b/src/model/model_evaluator.cpp
@@ -172,6 +172,7 @@ struct evaluator_cfg : public default_rewriter_cfg {
             if (!m_model_completion)
                 return BR_FAILED;
 
+            std::cout << mk_pp(f, m) << "\n";
             if (!m_ar.is_as_array(f)) {
                 sort * s   = f->get_range();
                 expr * val = m_model.get_some_value(s);