diff --git a/lib/gencoq.ml b/lib/gencoq.ml index 766eef7c2056aeda8cdad31752d4b8b80c0b06f2..b4f267b51d9b88d22ef4b40fd65a5b0a6d6928a7 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