summary refs log tree commit diff
path: root/lisc
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-02-24 14:32:16 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-02-24 14:32:16 -0500
commitabf4d3f7195c3ed58e4f68b0453c840bcac250d4 (patch)
tree2b3a4d624e39c43081831aec7e19743e42cad1f2 /lisc
parenteff3371966df3c575e58c93f3e621db781f40508 (diff)
downloadroux-abf4d3f7195c3ed58e4f68b0453c840bcac250d4.tar.gz
fix tight assertion in MEM()
Diffstat (limited to 'lisc')
-rw-r--r--lisc/lisc.h2
1 files changed, 1 insertions, 1 deletions
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)