From 902f0af6be29b6a68882ee31d0b5827034880d37 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 1 Jul 2014 15:41:07 +0100
Subject: Update case of EXTS

---
 src/lem_interp/interp_lib.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index c4087edb..a03fad5c 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -180,7 +180,7 @@ let function_map = [
   ("is_one", is_one);
   ("to_num_inc", to_num false);
   ("to_num_dec", to_num false);
-  ("exts", exts 64);
+  ("EXTS", exts 64);
   ("to_vec_inc", to_vec_inc);
   ("to_vec_dec", to_vec_dec);
   ("bitwise_not", bitwise_not);
-- 
cgit v1.2.3