fix tests

Signed-off-by: Ali Caglayan <alizter@gmail.com>
ocaml · Apr 8, 2023 · ce5651b · ce5651b
1 parent c934ae2
commit ce5651b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/test/blackbox-tests/test-cases/coq/compose-plugin.t/run.t b/test/blackbox-tests/test-cases/coq/compose-plugin.t/run.t
@@ -1,15 +1,11 @@
   $ dune build --display short --debug-dependency-path @all
         coqdep thy1/.thy1.theory.d
-  *** Warning: ltac_plugin.cmxs already found in /home/egallego/external/dune/_opam/lib/coq-core/plugins/ltac (discarding /home/egallego/external/dune/_opam/lib/coq/../coq-core/plugins/ltac/ltac_plugin.cmxs)
-
         ocamlc src_b/.ml_plugin_b.objs/byte/ml_plugin_b.{cmi,cmo,cmt}
       ocamldep src_b/.ml_plugin_b.objs/ml_plugin_b__Simple_b.impl.d
         ocamlc src_a/.ml_plugin_a.objs/byte/ml_plugin_a.{cmi,cmo,cmt}
       ocamldep src_a/.ml_plugin_a.objs/ml_plugin_a__Gram.intf.d
       ocamldep src_a/.ml_plugin_a.objs/ml_plugin_a__Simple.impl.d
         coqdep thy2/.thy2.theory.d
-  *** Warning: ltac_plugin.cmxs already found in /home/egallego/external/dune/_opam/lib/coq-core/plugins/ltac (discarding /home/egallego/external/dune/_opam/lib/coq/../coq-core/plugins/ltac/ltac_plugin.cmxs)
-
          coqpp src_a/gram.ml
       ocamlopt src_b/.ml_plugin_b.objs/native/ml_plugin_b.{cmx,o}
       ocamlopt src_a/.ml_plugin_a.objs/native/ml_plugin_a.{cmx,o}

diff --git a/test/blackbox-tests/test-cases/coq/ml-lib.t/run.t b/test/blackbox-tests/test-cases/coq/ml-lib.t/run.t
@@ -1,7 +1,5 @@
   $ dune build --display short --debug-dependency-path @all
         coqdep theories/.Plugin.theory.d
-  *** Warning: ltac_plugin.cmxs already found in /home/egallego/external/dune/_opam/lib/coq-core/plugins/ltac (discarding /home/egallego/external/dune/_opam/lib/coq/../coq-core/plugins/ltac/ltac_plugin.cmxs)
-
         ocamlc src_b/.ml_plugin_b.objs/byte/ml_plugin_b.{cmi,cmo,cmt}
       ocamldep src_b/.ml_plugin_b.objs/ml_plugin_b__Simple_b.impl.d
         ocamlc src_a/.ml_plugin_a.objs/byte/ml_plugin_a.{cmi,cmo,cmt}