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