From e0ca27bfb3c625e9bc8c228cd5e74dd729cea9b5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 25 Oct 2013 08:33:53 -0700 Subject: [PATCH] fix(tests/library/rewriter): warning Signed-off-by: Leonardo de Moura --- src/tests/library/rewriter/rewriter.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/tests/library/rewriter/rewriter.cpp b/src/tests/library/rewriter/rewriter.cpp index 544cc847f..f92ef6e2c 100644 --- a/src/tests/library/rewriter/rewriter.cpp +++ b/src/tests/library/rewriter/rewriter.cpp @@ -395,6 +395,8 @@ static void try_rewriter2_tst() { env.add_theorem("try2", concl, proof); } +#if 0 +// TODO(Leo): fix static void app_rewriter1_tst() { cout << "=== app_rewriter1_tst() ===" << std::endl; // Theorem: Pi(x y : N), x + y = y + x := ADD_COMM x y @@ -474,6 +476,7 @@ static void app_rewriter1_tst() { Const("ADD_COMM")(b, a))); env.add_theorem("app_rewriter3", concl, proof); } +#endif static void repeat_rewriter1_tst() { cout << "=== repeat_rewriter1_tst() ===" << std::endl;