aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
diff options
context:
space:
mode:
authorGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2015-03-18 11:15:48 +0100
committerGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2015-03-18 11:15:48 +0100
commit623a0e9bc07f19dacd8a25c33ebf1e68d9b3be30 (patch)
treee77635d993fb2931d9ccd4dc70b7d1336646b55e /checker
parentadb721441e9ff9bf7cdb1b4603628d95ca1f016a (diff)
Fixing internal representation of Dyn.t in votour.
Diffstat (limited to 'checker')
-rw-r--r--checker/votour.ml2
1 files changed, 1 insertions, 1 deletions
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 = {