local file instead of system dependency

Kirill Golubev · Kirill Golubev · commit 4284c0e56a8a · 2022-10-29T22:12:53.000+03:00
diff --git a/liquidjava-umbrella/liquidjava-verifier/pom.xml b/liquidjava-umbrella/liquidjava-verifier/pom.xml
@@ -179,9 +179,7 @@
 		<dependency>
 			<groupId>io.github.cvc5</groupId>
 			<artifactId>cvc5</artifactId>
-			<version>1.0.0</version>
-			<scope>system</scope>
-			<systemPath>/Users/frogofjuly/GitReps/cvc5/build/install/share/java/cvc5.jar</systemPath>
+			<version>1.0</version>
 		</dependency>
 
 
