From 3e5a44e099d3fe847693887a09b57dfb4e2349e8 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 8 Oct 2019 22:00:55 +0200
Subject: Fix votour after the change of representation of opaques.

---
 checker/votour.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/checker/votour.ml b/checker/votour.ml
index 5a610e6938..97584831e5 100644
--- a/checker/votour.ml
+++ b/checker/votour.ml
@@ -364,7 +364,6 @@ let visit_vo f =
     make_seg "summary" Values.v_libsum;
     make_seg "library" Values.v_lib;
     make_seg "univ constraints of opaque proofs" Values.v_univopaques;
-    make_seg "discharging info" (Opt Any);
     make_seg "STM tasks" (Opt Values.v_stm_seg);
     make_seg "opaque proofs" Values.v_opaquetable;
   |] in
-- 
cgit v1.2.3