Commit 2bf64b3e authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

update Alt-Ergo printer's blacklist

parent a529a6ea
......@@ -38,11 +38,13 @@ type info = {
let ident_printer =
let bls = [
"ac"; "and"; "array"; "as"; "axiom"; "bool"; "distinct"; "else"; "exists";
"false"; "forall"; "function"; "goal"; "if"; "int"; "bitv";
"logic"; "not"; "or"; "parameter"; "predicate";
"prop"; "real"; "then"; "true"; "type"; "unit"; "void";
"select"; "store";
"ac"; "and"; "array"; "as"; "axiom"; "bitv"; "bool";
"check"; "cut"; "distinct"; "else"; "exists";
"false"; "forall"; "function"; "goal";
"if"; "in"; "include"; "int"; "inversion";
"let"; "logic"; "not"; "or"; "parameter"; "predicate";
"prop"; "real"; "rewriting"; "select"; "store";
"then"; "true"; "type"; "unit"; "void"; "with";
]
in
let san = 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