From 0fe2b5d4d63bcbc63d48a386949094c23e4c274e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 31 Oct 2018 17:57:47 +0100
Subject: Port to coqpp.

---
 tuto1/_CoqProject | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tuto1/_CoqProject')

diff --git a/tuto1/_CoqProject b/tuto1/_CoqProject
index ce14ee2b87..585d1360be 100644
--- a/tuto1/_CoqProject
+++ b/tuto1/_CoqProject
@@ -9,5 +9,5 @@ src/simple_declare.mli
 src/simple_declare.ml
 src/simple_print.ml
 src/simple_print.mli
-src/g_tuto1.ml4
-src/tuto1_plugin.mlpack
\ No newline at end of file
+src/g_tuto1.mlg
+src/tuto1_plugin.mlpack
-- 
cgit v1.2.3