Small fix for IS_INTEGER.

diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp
index a01397973f7fc2d77bf1a0bc0497ed749969d657..f5b1d20ce144b287361797da75d0662879e0982a 100644 (file)
--- a/src/theory/arith/theory_arith_private.cpp
+++ b/src/theory/arith/theory_arith_private.cpp
@@ -775,7 +775,7 @@ Node TheoryArithPrivate::ppRewriteTerms(TNode n) {
       Node node = intVar;
       return node;
     } else {
-      Node node = nm->mkNode(kind::EQUAL, node[0], intVar);
+      Node node = nm->mkNode(kind::EQUAL, n[0], intVar);
       return node;
     }
     Unreachable();