From d62ca20800439a4b1a31e028b3e4451330928bdb Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sat, 1 Mar 2014 12:12:37 +0000
Subject: Fix printing bug on vector slicing that caused only one element to
 ever be sliced

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

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index c55439f4..fe4568fb 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -282,7 +282,7 @@ let access_vector v n =
     else list_nth vs (m - n)
   end
 
-val from_n_to_n :forall 'a. natural -> natural -> list 'a -> list 'a
+val from_n_to_n :forall 'a. natural -> natural  -> list 'a -> list 'a
 let from_n_to_n from to_ ls =
   let from = natFromNatural from in
   let to_ = natFromNatural to_ in
-- 
cgit v1.2.3