Lift @bitwise-bit-field to work on symbolic start/end.

emina · Oct 26, 2015 · 67fa3a6 · 67fa3a6
1 parent db80315
commit 67fa3a6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rosette/base/primitive.rkt b/rosette/base/primitive.rkt
@@ -131,4 +131,4 @@
       (begin
         (assert (>= start 0))
         (assert (>= end start))
-        (bitwise-and (sub1 (<< 1 (- end start))) (>> n start)))))
+        (bitwise-and (@sub1 (<< 1 (- end start))) (>> n start)))))