From abc21e3757f96001c4a53e422aaafe2951045fd4 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 26 Aug 2014 14:50:41 +0100
Subject: small changes for arm

---
 src/test/power.sail | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/test/power.sail')

diff --git a/src/test/power.sail b/src/test/power.sail
index fd2a87fc..75238732 100644
--- a/src/test/power.sail
+++ b/src/test/power.sail
@@ -27,14 +27,14 @@ val forall Nat 'n, Nat 'm, 0 <= 'n, 'n <= 'm, 'm <= 63 .
   MASK
 
 function (bit[64]) MASK(start, stop) = {
-  (bit[64]) mask := 0;
+  (bit[64]) mask_temp := 0;
   if(start > stop) then {
-    mask[start .. 63] := bitone ^^ (64 - start);
-    mask[0 .. stop] := bitone ^^ (stop + 1);
+    mask_temp[start .. 63] := bitone ^^ (64 - start);
+    mask_temp[0 .. stop] := bitone ^^ (stop + 1);
   } else {
-    mask[start .. stop ] := bitone ^^ (stop - start + 1);
+    mask_temp[start .. stop ] := bitone ^^ (stop - start + 1);
   };
-  mask;
+  mask_temp;
 }
 
 val forall Nat 'n, 0 <= 'n, 'n <= 63 .
-- 
cgit v1.2.3