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.

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

(limited to 'tuto3/_CoqProject')

diff --git a/tuto3/_CoqProject b/tuto3/_CoqProject
index 6a3c1978a7..e2a60a430f 100644
--- a/tuto3/_CoqProject
+++ b/tuto3/_CoqProject
@@ -8,5 +8,5 @@ src/tuto_tactic.ml
 src/tuto_tactic.mli
 src/construction_game.ml
 src/construction_game.mli
-src/g_tuto3.ml4
-src/tuto3_plugin.mlpack
\ No newline at end of file
+src/g_tuto3.mlg
+src/tuto3_plugin.mlpack
-- 
cgit v1.2.3