Merge branch 'main' of github.com:resess/GoalExplorer

resess · Apr 15, 2024 · 214843b · 214843b
2 parents cf84708 + 5680bb5
commit 214843b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -74,7 +74,7 @@ add the option `--target "X:Y"` where `X` is one of `api`, `act` or `stmt` and `
 For example, if the target is an API:
 
 ```
-    java -jar {JAR_PATH} ge -i <arg> [OPTIONS] --target "api:<java.<java.net.URL: java.net.URLConnection openConnection()>" 
+    java -jar {JAR_PATH} ge -i <arg> [OPTIONS] --target "api:<java.net.URL: java.net.URLConnection openConnection()>" 
 ```
 or for multiple activities:
 ```