1 files changed, 2 insertions, 2 deletions
diff --git a/src/dune b/src/dune
index b0140aa809..7c911fb041 100644
--- a/src/dune
+++ b/src/dune
@@ -6,5 +6,5 @@
 
 (rule
  (targets g_ltac2.ml)
- (deps (:pp-file g_ltac2.ml4) )
- (action (run coqp5 -loc loc -impl %{pp-file} -o %{targets})))
+ (deps (:mlg-file g_ltac2.mlg))
+ (action (run coqpp %{mlg-file})))