From 035b9495edbdafcbb51357d7a26de113ab4856d6 Mon Sep 17 00:00:00 2001
From: Emina Torlak <emina@alum.mit.edu>
Date: Thu, 11 Feb 2016 16:09:59 -0800
Subject: [PATCH] Bug fix for box evaluation.

---
 rosette/query/eval.rkt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/rosette/query/eval.rkt b/rosette/query/eval.rkt
index 622aa909..8f2f302d 100644
--- a/rosette/query/eval.rkt
+++ b/rosette/query/eval.rkt
@@ -46,6 +46,8 @@
                 (cons (eval-rec x sol cache) (eval-rec y sol cache))]
                [(? vector?)              
                 (for/vector #:length (vector-length expr) ([e expr]) (eval-rec e sol cache))]
+               [(? box?)
+                ((if (immutable? expr) box-immutable box) (eval-rec (unbox expr) sol cache))] 
                [(union vs)                 
                 (let loop ([vs vs] [out '()])
                   (if (null? vs)