From 29923ecc0467f52a8eb6e318b874269054b956e5 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 9 Oct 2013 12:26:11 -0500
Subject: More improvements to datatypes, eager selector collapsing, improved
 collect model info. Also fix bug in model post-processor.

---
 src/smt/model_postprocessor.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/smt/model_postprocessor.cpp')

diff --git a/src/smt/model_postprocessor.cpp b/src/smt/model_postprocessor.cpp
index cbabc9542..c61a61940 100644
--- a/src/smt/model_postprocessor.cpp
+++ b/src/smt/model_postprocessor.cpp
@@ -9,9 +9,9 @@
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
- ** \brief 
+ ** \brief
+ **
  **
- ** 
  **/
 
 #include "smt/model_postprocessor.h"
@@ -92,6 +92,9 @@ Node ModelPostprocessor::rewriteAs(TNode n, TypeNode asType) {
     return n;
   }
   NodeBuilder<> b(n.getKind());
+  if (n.getMetaKind() == kind::metakind::PARAMETERIZED) {
+    b << n.getOperator();
+  }
   TypeNode::iterator t = asType.begin();
   for(TNode::iterator i = n.begin(); i != n.end(); ++i, ++t) {
     Assert(t != asType.end());
-- 
cgit v1.2.3