1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index b8c2d5a75..1d5daf7bd 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -129,6 +129,10 @@ class TheoryEngine {
    * while leaving the Node's kind alone.
    */
   Node rewriteChildren(TNode in) {
+    if(in.getMetaKind() == kind::metakind::CONSTANT) {
+      return in;
+    }
+
     NodeBuilder<> b(in.getKind());
     for(TNode::iterator c = in.begin(); c != in.end(); ++c) {
       b << rewrite(*c);