Fix incomplete classpath of Eclipse build config

xeren · Sep 13, 2024 · d32cf0b · d32cf0b
1 parent 6c86c56
commit d32cf0b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.classpath b/.classpath
@@ -33,6 +33,8 @@ SPDX-License-Identifier: Apache-2.0
 	<classpathentry kind="lib" path="lib/java/runtime-cvc5/cvc5.jar"/>
 	<classpathentry kind="lib" path="lib/java/test/truth-java8-extension.jar" sourcepath="lib/java-contrib/truth-java8-extension-sources.jar"/>
 	<classpathentry kind="lib" path="lib/java/core/checker-qual.jar" sourcepath="lib/java-contrib/checker-qual-sources.jar"/>
+	<classpathentry kind="lib" path="lib/java/runtime-opensmt/opensmt.jar" sourcepath="lib/java-contrib/opensmt-sources.jar"/>
+	<classpathentry kind="lib" path="lib/java/runtime-bitwuzla/bitwuzla.jar" sourcepath="lib/java-contrib/bitwuzla-sources.jar"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
 		<attributes>
 			<attribute name="module" value="true"/>