diff options
Diffstat (limited to 'checker/votour.ml')
| -rw-r--r-- | checker/votour.ml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/checker/votour.ml b/checker/votour.ml index 38f1ff9bc..95b9f2332 100644 --- a/checker/votour.ml +++ b/checker/votour.ml @@ -230,7 +230,16 @@ let rec get_children v o pos = match v with | BLOCK (0, [|x|]) -> [|(v, x, 0 :: pos)|] | _ -> raise Exit end - |String | Int -> [||] + | String -> + begin match Repr.repr o with + | STRING _ -> [||] + | _ -> raise Exit + end + | Int -> + begin match Repr.repr o with + | INT _ -> [||] + | _ -> raise Exit + end |Annot (s,v) -> get_children v o pos |Any -> raise Exit |Dyn -> |