default is a Z3 builtin

de81a872 · Martin Clochard · Guillaume Melquiond · 2d1a5883 · de81a872
Commit de81a872 authored Jan 12, 2016 by Martin Clochard Committed by Guillaume Melquiond Feb 05, 2016
--- a/src/printer/smtv2.ml
+++ b/src/printer/smtv2.ml
@@ -70,8 +70,8 @@ let ident_printer =
      "abs";
      "BitVec"; "extract"; "bv2nat"; "nat2bv";

-      (** From Z3 *)
-      "map"; "bv"; "subset"; "union"
+      (* From Z3 *)
+      "map"; "bv"; "subset"; "union"; "default"
      ]
  in
  let san = sanitizer char_to_alpha char_to_alnumus in