From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 25 Oct 2010 15:25:50 +0000 (+0000)
Subject: missing case in expr output; resolves bug 226
X-Git-Tag: cvc5-1.0.0~8780
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c07b0c42ed93af43c236064f3fb0ef779d3e7bb8;p=cvc5.git

missing case in expr output; resolves bug 226
---

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: