From 7d541f25751838e1cde2a292a71afaa28879b753 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Thu, 23 Nov 2017 10:34:25 +0100 Subject: Bypass int and string representation in votour when it's incorrect. --- checker/votour.ml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'checker/votour.ml') 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 -> -- cgit v1.2.3