diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/node_value.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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: |