missing case in expr output; resolves bug 226

diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 70f1047f513a9ea73abab8de623f605bff00917b..a5fff20957c72eceb7b081a61a9a7ed0f9ea48d3 100644 (file)
--- 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: