From 67fa3a6bfe85e519c509177b29f0de7159ed09c6 Mon Sep 17 00:00:00 2001 From: Emina Torlak Date: Mon, 26 Oct 2015 12:05:14 -0700 Subject: [PATCH] Lift @bitwise-bit-field to work on symbolic start/end. --- rosette/base/primitive.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rosette/base/primitive.rkt b/rosette/base/primitive.rkt index 1540dd68..89850739 100644 --- 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))))) \ No newline at end of file + (bitwise-and (@sub1 (<< 1 (- end start))) (>> n start)))))