modification test échec coqtop-unavailable

ProofGeneral · Mar 26, 2024 · f6a425f · f6a425f
1 parent 5d6cbdf
commit f6a425f
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 1 deletion.
diff --git a/Cask b/Cask
diff --git a/ci/simple-tests/coq-test-coqtop-unavailable.el b/ci/simple-tests/coq-test-coqtop-unavailable.el
@@ -18,7 +18,7 @@
   (setq coq-prog-name "unavailable-program")
 
   ;; ensure coq-prog-name cannot be found
-  (should (not (locate-file coq-prog-name exec-path)))
+  (should (locate-file coq-prog-name exec-path))
 
   (find-file "simple.v")
   (coq-prog-args))
diff --git a/etc/testsuite/#simple.v# b/etc/testsuite/#simple.v#
@@ -0,0 +1 @@
+y+
diff --git a/etc/testsuite/.#simple.v b/etc/testsuite/.#simple.v
@@ -0,0 +1 @@
+axeld@axeld.68902:1711481515