From 24f4067eeb9dbfe6c30137591394a8ea0413a21e Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Fri, 14 Dec 2018 02:41:34 +0000
Subject: Get real number tests working in OCaml/Interpreter

---
 src/value.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/value.ml')

diff --git a/src/value.ml b/src/value.ml
index a4ce225e..729b3974 100644
--- a/src/value.ml
+++ b/src/value.ml
@@ -502,7 +502,7 @@ let value_random_real = function
   | _ -> failwith "value random_real"
 
 let value_sqrt_real = function
-  | [v] -> V_real (Sail_lib.sqrt (coerce_real v))
+  | [v] -> V_real (Sail_lib.sqrt_real (coerce_real v))
   | _ -> failwith "value sqrt_real"
 
 let value_quotient_real = function
@@ -645,8 +645,8 @@ let primops =
       ("eq_real", value_eq_real);
       ("lt_real", value_lt_real);
       ("gt_real", value_gt_real);
-      ("lteq_real", value_lt_real);
-      ("gteq_real", value_gt_real);
+      ("lteq_real", value_lteq_real);
+      ("gteq_real", value_gteq_real);
       ("add_real", value_add_real);
       ("sub_real", value_sub_real);
       ("mult_real", value_mult_real);
-- 
cgit v1.2.3