From 0465ad3ce6cdccf4e4be9c90954b683c44ec539e 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"