From 4ea1dfb16a26959843b2db6fc398556c17abd682 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 26 Sep 2018 16:07:08 +0200
Subject: Fix votour compilation after #8102.

---
 checker/votour.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/checker/votour.ml b/checker/votour.ml
index bc820e23dd..1ea0de456e 100644
--- a/checker/votour.ml
+++ b/checker/votour.ml
@@ -152,6 +152,7 @@ let rec get_name ?(extra=false) = function
   |String -> "string"
   |Annot (s,v) -> s^"/"^get_name ~extra v
   |Dyn -> "<dynamic>"
+  | Proxy v -> get_name ~extra !v
 
 (** For tuples, its quite handy to display the inner 1st string (if any).
     Cf. [structure_body] for instance *)
@@ -255,6 +256,7 @@ let rec get_children v o pos = match v with
     | _ -> raise Exit
     end
   |Fail s -> raise Forbidden
+  | Proxy v -> get_children !v o pos
 
 let get_children v o pos =
   try get_children v o pos
-- 
cgit v1.2.3