typo

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