Update README.md

dilkas · Mar 30, 2023 · 59ed43a · 59ed43a
1 parent 9852cfe
commit 59ed43a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -9,7 +9,7 @@ sbt clean && sbt compile && sbt assembly
 ## How to Run
 
 ```
-[GREEDY=false] [PARALLEL=true] [DEPTH=n] [SOLUTIONS=n] java -jar target/scala-2.11/crane-assembly-3.1.jar [-f] [--pdf] [--propinf] [-z] --format-in mln example.mln
+[GREEDY=false] [PARALLEL=true] [DEPTH=n] [SOLUTIONS=n] java -jar target/scala-2.11/crane-assembly-1.0.jar [-f] [--pdf] [--propinf] [-z] --format-in mln example.mln
 ```
 
 ### Relevant Options