diff options
Diffstat (limited to 'src/api/java/CMakeLists.txt')
| -rw-r--r-- | src/api/java/CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt index d56f594ce..53ea46f46 100644 --- a/src/api/java/CMakeLists.txt +++ b/src/api/java/CMakeLists.txt @@ -112,5 +112,3 @@ add_jar(cvc5jar ) add_dependencies(cvc5jar generate-java-kinds cvc5jni cvc5) - -get_target_property(CVC5_JAR_PATH cvc5jar JAR_FILE)
\ No newline at end of file |