Commit acb84611 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Coq identifiers black list

parent ac1738ba
...@@ -28,8 +28,9 @@ open Term ...@@ -28,8 +28,9 @@ open Term
open Decl open Decl
open Printer open Printer
let black_list = [ "at"; "cofix"; "exists2"; "fix"; "IF"; "mod"; "Prop"; let black_list =
"return"; "Set"; "Type"; "using"; "where"] [ "at"; "cofix"; "exists2"; "fix"; "IF"; "left"; "mod"; "Prop";
"return"; "right"; "Set"; "Type"; "using"; "where"; ]
let iprinter = let iprinter =
let isanitize = sanitizer char_to_alpha char_to_alnumus in let isanitize = sanitizer char_to_alpha char_to_alnumus in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment