From 32c1fc1ec2973a5b579f3e1f1ce6acf66488f24b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 20 Oct 2018 16:01:49 +0200
Subject: [dune] Remove rule for cLexer.ml4 -> cLexer.ml

When merging #8740 we didn't remove this rule.

The build didn't fails as Dune emits a warning for now [due to
compatibility with some schemes], but this will become an error in the
future.
---
 parsing/dune | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/parsing/dune b/parsing/dune
index b70612a52b..f931321358 100644
--- a/parsing/dune
+++ b/parsing/dune
@@ -4,11 +4,6 @@
  (wrapped false)
  (libraries proofs))
 
-(rule
- (targets cLexer.ml)
- (deps (:ml4-file cLexer.ml4))
- (action (run camlp5o -loc loc -impl %{ml4-file} -o %{targets})))
-
 (rule
  (targets g_prim.ml)
  (deps (:mlg-file g_prim.mlg))
-- 
cgit v1.2.3