From 623a0e9bc07f19dacd8a25c33ebf1e68d9b3be30 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Wed, 18 Mar 2015 11:15:48 +0100
Subject: Fixing internal representation of Dyn.t in votour.

---
 checker/votour.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/votour.ml')

diff --git a/checker/votour.ml b/checker/votour.ml
index 29593cb71..d016b4563 100644
--- a/checker/votour.ml
+++ b/checker/votour.ml
@@ -88,7 +88,7 @@ let rec get_children v o pos = match v with
   |Dyn ->
     let t = to_dyn o in
     let tpe = find_dyn t.dyn_tag in
-    [|(String, Obj.repr t.dyn_tag, 0 :: pos); (tpe, t.dyn_obj, 1 :: pos)|]
+    [|(Int, Obj.repr t.dyn_tag, 0 :: pos); (tpe, t.dyn_obj, 1 :: pos)|]
   |Fail s -> failwith "forbidden"
 
 type info = {
-- 
cgit v1.2.3