From eb72afabfbf89c49be25bd5d1843d6297280b8ef Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 15 Apr 2014 18:32:06 +0100 Subject: [PATCH] ML API `or' is deprecated, changed to `||' Signed-off-by: Christoph M. Wintersteiger --- src/api/ml/z3.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index 5f8d96d2a..c037a9263 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -748,7 +748,7 @@ end = struct Expr(z3_native_object_of_ast_ptr ctx no) else 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) else raise (Z3native.Exception "Unsupported numeral object")