From c07b0c42ed93af43c236064f3fb0ef779d3e7bb8 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 25 Oct 2010 15:25:50 +0000 Subject: [PATCH] missing case in expr output; resolves bug 226 --- src/expr/node_value.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index 70f1047f5..a5fff2095 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -49,6 +49,8 @@ void NodeValue::toStream(std::ostream& out, int toDepth, bool types, using namespace CVC4::language::output; switch(language) { + case LANG_CVC4: + // FIXME support cvc output language case LANG_SMTLIB: // FIXME support smt-lib output language case LANG_SMTLIB_V2: -- 2.30.2