From 78310ab5e13f04f22048e78be0e2451ecaf6126c Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Thu, 16 Jan 2020 13:20:43 +0100
Subject: ml4 -> mlg

---
 src/versions/standard/_CoqProject | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/versions/standard/_CoqProject')

diff --git a/src/versions/standard/_CoqProject b/src/versions/standard/_CoqProject
index e067da8..396a5ba 100644
--- a/src/versions/standard/_CoqProject
+++ b/src/versions/standard/_CoqProject
@@ -156,5 +156,5 @@ SMT_terms.v
 State.v
 Trace.v
 
-g_smtcoq.ml4
+g_smtcoq.mlg
 smtcoq_plugin.mlpack
-- 
cgit