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.

---
 _CoqProject | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 15e02a6484..071066dd86 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -30,7 +30,7 @@ src/tac2tactics.ml
 src/tac2tactics.mli
 src/tac2stdlib.ml
 src/tac2stdlib.mli
-src/g_ltac2.ml4
+src/g_ltac2.mlg
 src/ltac2_plugin.mlpack
 
 theories/Init.v
-- 
cgit v1.2.3