Fix

coq-tactician · Oct 19, 2023 · 0d7a4ae · 0d7a4ae
1 parent d8c8431
commit 0d7a4ae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pytact/tests/TestReinforceStdin.v b/pytact/tests/TestReinforceStdin.v
@@ -2,4 +2,4 @@ Goal True -> True.
   intro. apply H.
 Qed.
 
-Explore.
+Tactician Explore.
diff --git a/pytact/tests/TestReinforceTcp.v b/pytact/tests/TestReinforceTcp.v
@@ -1,3 +1,3 @@
 Goal True -> True.  intro. apply H. Qed.
-Explore "127.0.0.1" 33333.
+Tactician Explore "127.0.0.1" 33333.