From a028f200af844393bf8c9e0a35107303b325fd5c Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 15 Apr 2014 18:33:52 +0100 Subject: [PATCH] ML example; `or' is deprecated, changed to `||' Signed-off-by: Christoph M. Wintersteiger --- examples/ml/ml_example.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/ml/ml_example.ml b/examples/ml/ml_example.ml index 0dd227784..25862b2d7 100644 --- a/examples/ml/ml_example.ml +++ b/examples/ml/ml_example.ml @@ -168,7 +168,7 @@ let basic_tests ( ctx : context ) = let inum = (get_numerator rn) in let iden = get_denominator rn in 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 "") else Printf.printf "Test passed.\n"