mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

ML example; 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:33:52 +01:00
parent eb72afabfb
commit 0465ad3ce6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
examples/ml/ml_example.ml
View file

@ -168,7 +168,7 @@ let basic_tests ( ctx : context ) =
let inum = (get_numerator rn) in let inum = (get_numerator rn) in
let iden = get_denominator rn in let iden = get_denominator rn in
Printf.printf "Numerator: %s Denominator: %s\n" (Real.to_string inum) (Real.to_string iden) ; Printf.printf "Numerator: %s Denominator: %s\n" (Real.to_string inum) (Real.to_string iden) ;
if ((Real.to_string inum) <> "42" or (Real.to_string iden) <> "43") then if ((Real.to_string inum) <> "42" || (Real.to_string iden) <> "43") then
raise (TestFailedException "") raise (TestFailedException "")
else else
Printf.printf "Test passed.\n" Printf.printf "Test passed.\n"