From 92d19612110018d743d5d88e77819f42b71b79f8 Mon Sep 17 00:00:00 2001
From: Kylian Fontaine <kylian.fontaine@etu.univ-lyon1.fr>
Date: Thu, 18 Jul 2024 09:02:41 +0200
Subject: [PATCH] typo
---
lib/gencoq.ml | 1 -
1 file changed, 1 deletion(-)
diff --git a/lib/gencoq.ml b/lib/gencoq.ml
index 766eef7..b4f267b 100644
--- a/lib/gencoq.ml
+++ b/lib/gencoq.ml
@@ -520,7 +520,6 @@ let generate_coq (Description(d,r,m) : description) (section_name : string)=
else generate_module_proof m section_name
in
- print_endline (read_and_save_after_keyword ("./generate/"^section_name^".v") keyword) ;
if Ast.check_description (Description(d,r,m))
then
--
GitLab