From 2206a7ddbf0eea5e4788604197dfcf8584089a00 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Thu, 23 Jun 2022 11:51:39 +0200 Subject: [PATCH] Lib_micheline: unbox canonical --- src/lib_micheline/micheline.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib_micheline/micheline.ml b/src/lib_micheline/micheline.ml index 7a34d1f6548f..85d3267458a4 100644 --- a/src/lib_micheline/micheline.ml +++ b/src/lib_micheline/micheline.ml @@ -38,7 +38,7 @@ type canonical_location = int let dummy_location = -1 -type 'p canonical = Canonical of (canonical_location, 'p) node +type 'p canonical = Canonical of (canonical_location, 'p) node [@@unboxed] let location = function | Int (loc, _) -> loc -- GitLab