diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-18 11:15:48 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-18 11:15:48 +0100 |
| commit | 623a0e9bc07f19dacd8a25c33ebf1e68d9b3be30 (patch) | |
| tree | e77635d993fb2931d9ccd4dc70b7d1336646b55e /checker/votour.ml | |
| parent | adb721441e9ff9bf7cdb1b4603628d95ca1f016a (diff) | |
Fixing internal representation of Dyn.t in votour.
Diffstat (limited to 'checker/votour.ml')
| -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 = { |