Commit b3d2056a authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

distinct is a SMT-lib keyword

parent 928ab7ad
......@@ -36,7 +36,7 @@ let use_builtin_array = Theory.register_meta_excl "Smt : builtin array" []
(** *)
let ident_printer =
let bls = ["and";" benchmark";" distinct";"exists";"false";"flet";"forall";
let bls = ["and";"benchmark";"distinct";"exists";"false";"flet";"forall";
"if then else";"iff";"implies";"ite";"let";"logic";"not";"or";
"sat";"theory";"true";"unknown";"unsat";"xor";
"assumption";"axioms";"defintion";"extensions";"formula";
......
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