Update README.md

potassco · Jun 18, 2024 · 2a00744 · 2a00744
1 parent 95f6cce
commit 2a00744
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/clingo/multishot/README.md b/examples/clingo/multishot/README.md
@@ -8,7 +8,7 @@ The branch-and-bound example:
 
     $ python opt.py tohB.lp tohI.lp -c n=20
     opt-example version 1.0
-    Reading from tohE.lp ...
+    Reading from tohB.lp ...
     Solving...
     Answer: 1
     move(3,c,2)  move(4,b,1)  move(4,c,3)  move(2,b,4)  move(4,b,5)  move(4,a,6)  move(3,b,7)