From f920ae56ffacf80f85dcf33d3f1ccf0acb4375b1 Mon Sep 17 00:00:00 2001
From: Benjamin Gregoire <Benjamin.Gregoire@inria.fr>
Date: Thu, 26 Mar 2015 16:48:32 +0100
Subject: fix compilation

---
 dev/vm_printers.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/vm_printers.ml b/dev/vm_printers.ml
index 4578a3b33..a583e2e54 100644
--- a/dev/vm_printers.ml
+++ b/dev/vm_printers.ml
@@ -74,14 +74,14 @@ and ppwhd whd =
   | Vfix _ -> print_vfix()
   | Vcofix _ -> print_string "cofix"
   | Vconstr_const i -> print_string "C(";print_int i;print_string")"
-  | Vconstr_block b -> ppvblock b
+  | Vconstr_block (tag,b) -> ppvblock tag b
   | Vatom_stk(a,s) ->
       open_hbox();ppatom a;close_box();
       print_string"@";ppstack s
 
-and ppvblock b =
+and ppvblock tag b =
   open_hbox();
-  print_string "Cb(";print_int (btag b);
+  print_string "Cb(";print_int tag;
   let n = bsize b in
   for i = 0 to n -1 do
     print_string ",";ppvalues (bfield b i)
-- 
cgit v1.2.3