From 1d4644f718fcc34db43bfab8040cd4f4246e0aa2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Nov 2023 16:50:28 -0800
Subject: [PATCH] fix typos in script

---
 scripts/test-java-cmake.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/test-java-cmake.yml b/scripts/test-java-cmake.yml
index 0f7045344..fa9f767b5 100644
--- 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 ..