Missing changes when updating javasmt

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Oct 4, 2024 · fd5a67d · fd5a67d
1 parent e05d1c7
commit fd5a67d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/dartagnan/pom.xml b/dartagnan/pom.xml
@@ -53,8 +53,6 @@
             <groupId>org.sosy-lab</groupId>
             <artifactId>javasmt-solver-z3</artifactId>
             <version>${z3.version}</version>
-            <type>jar</type>
-            <classifier>com.microsoft.z3</classifier>
         </dependency>
 
         <!-- Test dependencies -->