diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-02-24 14:32:16 -0500 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-02-24 14:32:16 -0500 |
| commit | abf4d3f7195c3ed58e4f68b0453c840bcac250d4 (patch) | |
| tree | 2b3a4d624e39c43081831aec7e19743e42cad1f2 | |
| parent | eff3371966df3c575e58c93f3e621db781f40508 (diff) | |
| download | roux-abf4d3f7195c3ed58e4f68b0453c840bcac250d4.tar.gz | |
fix tight assertion in MEM()
| -rw-r--r-- | lisc/lisc.h | 2 |
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) |