diff options
Diffstat (limited to 'src/bindings/java/CMakeLists.txt')
-rw-r--r-- | src/bindings/java/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bindings/java/CMakeLists.txt b/src/bindings/java/CMakeLists.txt index 3ab2ed446..508a74532 100644 --- a/src/bindings/java/CMakeLists.txt +++ b/src/bindings/java/CMakeLists.txt @@ -6,7 +6,7 @@ include_directories(${JNI_INCLUDE_DIRS}) set(SWIG_MODULE_cvc4jni_EXTRA_DEPS cvc4 cvc4parser) set_property(SOURCE ${CVC4_SWIG_INTERFACE} PROPERTY CPLUSPLUS ON) -set(CMAKE_SWIG_FLAGS -package edu.nyu.acsys.CVC4) +set(CMAKE_SWIG_FLAGS -package edu.stanford.CVC4) if(${CMAKE_VERSION} VERSION_LESS "3.8.0") swig_add_module(cvc4jni Java ${CVC4_SWIG_INTERFACE}) |