[coq] Use DuneExtraction as the dummy wrapper name

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
ocaml · Mar 27, 2020 · 36f2e8e · 36f2e8e
1 parent 5a22ae3
commit 36f2e8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dune/coq_rules.ml b/src/dune/coq_rules.ml
@@ -397,7 +397,7 @@ let extract_rules ~sctx ~build_dir ~dir ~dir_contents
     let coq = Dir_contents.coq dir_contents in
     Coq_sources.extract coq s
   in
-  let wrapper_name = "dummy" in
+  let wrapper_name = "DuneExtraction" in
   let lib_db = Scope.libs scope in
   let ml_flags, mlpack_rule =
     setup_ml_deps ~lib_db s.buildable.libraries theories_deps