From: Thomas Hunger <tehunger@gmail.com>
Date: Thu, 6 Mar 2014 22:37:34 +0000 (+0000)
Subject: Add swig renames for new Z3STR language.
X-Git-Tag: cvc5-1.0.0~7043
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f854915d23418dbbf805db91ba3cde8204846219;p=cvc5.git

Add swig renames for new Z3STR language.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
---

diff --git a/src/util/language.i b/src/util/language.i
index 9823a9205..4cbe01df3 100644
--- a/src/util/language.i
+++ b/src/util/language.i
@@ -24,6 +24,7 @@ namespace CVC4 {
 %rename(INPUT_LANG_TPTP) CVC4::language::input::LANG_TPTP;
 %rename(INPUT_LANG_CVC4) CVC4::language::input::LANG_CVC4;
 %rename(INPUT_LANG_MAX) CVC4::language::input::LANG_MAX;
+%rename(INPUT_LANG_Z3STR) CVC4::language::input::LANG_Z3STR;
 
 %rename(OUTPUT_LANG_AUTO) CVC4::language::output::LANG_AUTO;
 %rename(OUTPUT_LANG_SMTLIB_V1) CVC4::language::output::LANG_SMTLIB_V1;
@@ -32,5 +33,6 @@ namespace CVC4 {
 %rename(OUTPUT_LANG_CVC4) CVC4::language::output::LANG_CVC4;
 %rename(OUTPUT_LANG_AST) CVC4::language::output::LANG_AST;
 %rename(OUTPUT_LANG_MAX) CVC4::language::output::LANG_MAX;
+%rename(OUTPUT_LANG_Z3STR) CVC4::language::output::LANG_Z3STR;
 
 %include "util/language.h"