1 files changed, 0 insertions, 7 deletions
diff --git a/test/unit/expr/node_manager_black.h b/test/unit/expr/node_manager_black.h
index c30e4badb..cca2ff4fc 100644
--- a/test/unit/expr/node_manager_black.h
+++ b/test/unit/expr/node_manager_black.h
@@ -168,13 +168,6 @@ public:
     TS_ASSERT_EQUALS(ff.getConst<bool>(),false);
   }
 
-
-  void testMkConstInt() {
-    Integer i("3");
-    Node n = d_nodeManager->mkConst(i);
-    TS_ASSERT_EQUALS(n.getConst<Integer>(),i);
-  }
-
   void testMkConstRat() {
     Rational r("3/2");
     Node n = d_nodeManager->mkConst(r);