Commit 713e9bd0 authored by Martin Clochard's avatar Martin Clochard
Browse files

default is a Z3 builtin

parent f9449113
......@@ -71,7 +71,7 @@ let ident_printer =
"BitVec"; "extract"; "bv2nat"; "nat2bv";
(* From Z3 *)
"map"; "bv"; "subset"; "union"
"map"; "bv"; "subset"; "union"; "default"
let san = sanitizer char_to_alpha char_to_alnumus in
Supports Markdown
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