Skip to content

GitLab

why3
why3
Commit 8ff52ea6 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files
Options

"div" and "mod" are built-in in smtlib 2

parent b0fff343
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 299 additions and 283 deletions
src/printer/smtv2.ml
View file @ 8ff52ea6
......@@ -56,6 +56,8 @@ let ident_printer =
"Bool";"unsat";"sat";"true";"false";"select";"store";
(** arrays -- this really belongs to the driver! (esp. const) *)
"Array";"select";"store";"const";
(** div and mod are builtin *)
"div";"mod";
]
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