Commit 8a86e6dd authored by Sylvain Dailler's avatar Sylvain Dailler

Add keywords "lambda" to help parsing smt models

parent ea09c807
......@@ -114,7 +114,7 @@ let ident_printer () =
"difference";
(* Counterexamples specific keywords *)
"model";
"lambda"; "LAMBDA"; "model";
]
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