From 33ed9509e06b694580dc2b466222fabde43c787f Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Wed, 30 Nov 2016 22:48:25 +0000
Subject: shallow embedding fix, rename 'copy' to 'reset_vector_start', don't
 print shallow/deep ast conversion type class instances anymore, add herdtools
 ast / shallow ast conversion functions, add mips
 ImplementationDefinedStopFetching instruction

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

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index 3357fe3d..0d47a5e8 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -129,7 +129,7 @@ val set_vector_start : forall 'a. integer -> vector 'a -> vector 'a
 let set_vector_start new_start (Vector bs _ is_inc) =
   Vector bs new_start is_inc
 
-let copy v =
+let reset_vector_start v =
   set_vector_start (if (get_dir v) then 0 else (length v - 1)) v
 
 let set_vector_start_to_length v =
-- 
cgit v1.2.3