From b06ed5af083e66ab33fbb8f77c8cce5e6b6ed2d3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 31 Oct 2018 16:29:40 +0100
Subject: Port to coqpp.

---
 src/dune | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/dune')

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})))
-- 
cgit v1.2.3