1 files changed, 1 insertions, 1 deletions
diff --git a/evaluator.ml b/evaluator.ml
index 0d8c0f7..46bbab7 100755
--- a/evaluator.ml
+++ b/evaluator.ml
@@ -148,7 +148,7 @@ let (catalog:C.t ref) = ref C.empty
 
 
 type existencialResult =
-  | Result : 'a Data.value -> existencialResult
+  | Result : 'a Data.value -> existencialResult [@@unboxed]
 
 (** Guess the format to use for the result function from the arguments given.
     The most specialized format take over the others.