From f02e6260f1cf1f49121860cfd95b6adb97db48ee Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 1 Mar 2018 14:43:07 +0100
Subject: [VM] Move structured_constant to Vmvalues

---
 kernel/kernel.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 07a02f6ef5..a18c5d1e20 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -10,13 +10,13 @@ Constr
 Vars
 Term
 Mod_subst
+Vmvalues
 Cbytecodes
 Copcodes
 Cemitcodes
 Opaqueproof
 Declarations
 Entries
-Vmvalues
 Nativevalues
 CPrimitives
 Declareops
-- 
cgit v1.2.3