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/vm.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/vm.ml')

diff --git a/kernel/vm.ml b/kernel/vm.ml
index d7eedc226c..9917e94a35 100644
--- a/kernel/vm.ml
+++ b/kernel/vm.ml
@@ -8,7 +8,6 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
-open Cbytecodes
 open Vmvalues
 
 external set_drawinstr : unit -> unit = "coq_set_drawinstr"
-- 
cgit v1.2.3