Bypass int and string representation in votour when it's incorrect.

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 ->