diff options
| -rw-r--r-- | checker/votour.ml | 2 |
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 = { |