aboutsummaryrefslogtreecommitdiff
path: root/scTypes.ml
diff options
context:
space:
mode:
Diffstat (limited to 'scTypes.ml')
-rwxr-xr-xscTypes.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/scTypes.ml b/scTypes.ml
index f79b4ef..81af61c 100755
--- a/scTypes.ml
+++ b/scTypes.ml
@@ -196,7 +196,7 @@ module Refs = struct
| Matrix: 'a dataFormat * 'a list list -> 'a list list content
type refContent =
- | C: 'a content -> refContent
+ | C: 'a content -> refContent [@@unboxed]
type ('a, 'b) equality = Eq : ('a, 'a) equality