From bf58dee32245592bfd85e4eaab959fb4caffea6c Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 6 Jul 2017 11:56:42 +0100
Subject: fix interpreter lteq/gteq for range/vec.

---
 src/lem_interp/interp_lib.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 353379fe..84dec140 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -1066,8 +1066,8 @@ let library_functions direction = [
   ("gt_range_vec", compare_op_range_vec (>) Signed);
   ("lteq_vec_range", compare_op_vec_range (<=) Signed);
   ("gteq_vec_range", compare_op_vec_range (>=) Signed);
-  ("lteq_range_vec", compare_op_vec_range (<=) Signed);
-  ("gteq_range_vec", compare_op_vec_range (>=) Signed);
+  ("lteq_range_vec", compare_op_range_vec (<=) Signed);
+  ("gteq_range_vec", compare_op_range_vec (>=) Signed);
   ("lteq_vec", compare_op_vec (<=) Signed);
   ("gteq_vec", compare_op_vec (>=) Signed);
   ("lt_vec_signed", compare_op_vec (<) Signed);
-- 
cgit v1.2.3