From 5f7adad4af7d526aed3a97f8b24b2d9811f9fea7 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 23 Jun 2015 18:02:30 +0200
Subject: Add a Set Dump Bytecode command for debugging purposes.

Prints the VM bytecode produced by compilation of a constant or a call to
vm_compute.
---
 kernel/cbytecodes.mli | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'kernel/cbytecodes.mli')

diff --git a/kernel/cbytecodes.mli b/kernel/cbytecodes.mli
index fbb40ffd1..d9998c89e 100644
--- a/kernel/cbytecodes.mli
+++ b/kernel/cbytecodes.mli
@@ -143,9 +143,7 @@ type comp_env = {
     in_env : vm_env ref
   }
 
-val draw_instr : bytecodes -> unit
-
-
+val dump_bytecode : bytecodes -> unit
 
 (*spiwack: moved this here because I needed it for retroknowledge *)
 type block =
-- 
cgit v1.2.3