From abf4d3f7195c3ed58e4f68b0453c840bcac250d4 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 24 Feb 2016 14:32:16 -0500
Subject: fix tight assertion in MEM()

---
 lisc/lisc.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lisc/lisc.h b/lisc/lisc.h
index 7297534..17dec9c 100644
--- a/lisc/lisc.h
+++ b/lisc/lisc.h
@@ -128,7 +128,7 @@ enum {
 #define SLOT(x)  (Ref){RSlot, x}
 #define TYPE(x)  (Ref){RAlt, (x)|(AType<<AShift)}
 #define CALL(x)  (Ref){RAlt, (x)|(ACall<<AShift)}
-#define MEM(x)   (assert(x<(1<<(AShift-1)) && "too many mems"), \
+#define MEM(x)   (assert(x<(1<<AShift) && "too many mems"), \
                  (Ref){RAlt, (x)|(AMem<<AShift)})
 
 static inline int req(Ref a, Ref b)
-- 
cgit 1.4.1