From 948a1e600e453a76f5293d54a807d630650da5b9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 18 Oct 2016 10:27:47 -0400
Subject: [PATCH] undo breaking commit

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_fpa.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/theory_fpa.cpp b/src/smt/theory_fpa.cpp
index 3a45e1876..b0b8ffff5 100644
--- a/src/smt/theory_fpa.cpp
+++ b/src/smt/theory_fpa.cpp
@@ -799,7 +799,6 @@ namespace smt {
     }
 
     void theory_fpa::finalize_model(model_generator & mg) {
-#if 0
         ast_manager & m = get_manager();
         proto_model & mdl = mg.get_model();
         proto_model new_model(m);
@@ -825,7 +824,6 @@ namespace smt {
             func_interp * fi = new_model.get_func_interp(f)->copy();
             mdl.register_decl(f, fi);
         }
-#endif
     }
     
     void theory_fpa::display(std::ostream & out) const