From e6f4f9fbd3e2e3471f0df46959e3924368f31bdb Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 27 Jun 2013 15:34:32 -0400
Subject: [PATCH] Small fix for IS_INTEGER.

---
 src/theory/arith/theory_arith_private.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp
index a01397973..f5b1d20ce 100644
--- 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();
-- 
2.30.2