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 index fe82166c0f13..a0aeff9348e8 100644 --- 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 index d434ed573a8b..466587f42fba 100644 --- 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}