fix typos in script

Z3Prover · Nov 29, 2023 · 1d4644f · 1d4644f
1 parent 79bbbf7
commit 1d4644f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/test-java-cmake.yml b/scripts/test-java-cmake.yml
@@ -3,7 +3,7 @@ steps:
     cd build
     mkdir -p examples/java
     cp ../examples/java/JavaExample.java examples/java/
-    javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar
+    javac examples/java/JavaExample.java -classpath com.microsoft.z3.jar
     export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
     java -cp .:examples/java:com.microsoft.z3.jar JavaExample
     cd ..