mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 12:58:44 +00:00
Code Activity

ML API or' is deprecated, changed to ||'

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-04-15 18:32:06 +01:00
parent 9dc8021995
commit eb72afabfb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/ml/z3.ml
View file

@ -748,7 +748,7 @@ end = struct
Expr(z3_native_object_of_ast_ptr ctx no) Expr(z3_native_object_of_ast_ptr ctx no)
else else
if (Z3native.is_numeral_ast (context_gno ctx) no) then if (Z3native.is_numeral_ast (context_gno ctx) no) then
if (sk == INT_SORT or sk == REAL_SORT or sk == BV_SORT) then if (sk == INT_SORT || sk == REAL_SORT || sk == BV_SORT) then
Expr(z3_native_object_of_ast_ptr ctx no) Expr(z3_native_object_of_ast_ptr ctx no)
else else
raise (Z3native.Exception "Unsupported numeral object") raise (Z3native.Exception "Unsupported numeral object")