diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-19 14:57:20 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-19 14:57:20 -0800 |
commit | 3022ec24645fa80c14c60be5251d5e28ddac3e93 (patch) | |
tree | 17712dacdf14fb571526731470d218c76352feb4 | |
parent | d68d14b5e7aed77c13325c4eacdb73b94a488fa7 (diff) |
Remove more
-rw-r--r-- | src/bindings/java/CMakeLists.txt | 3 | ||||
-rw-r--r-- | src/cvc4.i | 1 | ||||
-rw-r--r-- | src/expr/symbol_table.i | 5 |
3 files changed, 0 insertions, 9 deletions
diff --git a/src/bindings/java/CMakeLists.txt b/src/bindings/java/CMakeLists.txt index df894bc22..6a2cb1129 100644 --- a/src/bindings/java/CMakeLists.txt +++ b/src/bindings/java/CMakeLists.txt @@ -140,7 +140,6 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/SWIGTYPE_p_std__vectorT_CVC4__DatatypeConstructor_t.java ${CMAKE_CURRENT_BINARY_DIR}/SWIGTYPE_p_std__vectorT_std__pairT_CVC4__Expr_CVC4__Expr_t_t.java ${CMAKE_CURRENT_BINARY_DIR}/SWIGTYPE_p_std__vectorT_std__vectorT_std__string_t_t.java - ${CMAKE_CURRENT_BINARY_DIR}/ScopeException.java ${CMAKE_CURRENT_BINARY_DIR}/SelectorType.java ${CMAKE_CURRENT_BINARY_DIR}/SetType.java ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.java @@ -151,8 +150,6 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/StatisticsBase.java ${CMAKE_CURRENT_BINARY_DIR}/StringType.java ${CMAKE_CURRENT_BINARY_DIR}/SygusPrintCallback.java - ${CMAKE_CURRENT_BINARY_DIR}/SymbolTable.java - ${CMAKE_CURRENT_BINARY_DIR}/SymbolType.java ${CMAKE_CURRENT_BINARY_DIR}/TesterType.java ${CMAKE_CURRENT_BINARY_DIR}/TheoryId.java ${CMAKE_CURRENT_BINARY_DIR}/Timer.java diff --git a/src/cvc4.i b/src/cvc4.i index 73698c87b..f70fb1863 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -324,7 +324,6 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; %include "expr/expr.i" %include "expr/expr_manager.i" %include "expr/expr_stream.i" -%include "expr/symbol_table.i" %include "expr/variable_type_map.i" %include "options/option_exception.i" %include "options/options.i" diff --git a/src/expr/symbol_table.i b/src/expr/symbol_table.i deleted file mode 100644 index 7e5579c49..000000000 --- a/src/expr/symbol_table.i +++ /dev/null @@ -1,5 +0,0 @@ -%{ -#include "expr/symbol_table.h" -%} - -%include "expr/symbol_table.h" |