From aa63497700bb2e75767c1891a961fc06ba329065 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 22 Jul 2014 15:57:27 -0400
Subject: Porting guard fix to checker.

---
 checker/inductive.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'checker/inductive.mli')

diff --git a/checker/inductive.mli b/checker/inductive.mli
index dfdda3179..d2f6788c5 100644
--- a/checker/inductive.mli
+++ b/checker/inductive.mli
@@ -73,10 +73,6 @@ type guard_env =
   { env     : env;
     (* dB of last fixpoint *)
     rel_min : int;
-    (* inductive of recarg of each fixpoint *)
-    inds    : inductive array;
-    (* the recarg information of inductive family *)
-    recvec  : wf_paths array;
     (* dB of variables denoting subterms *)
     genv    : subterm_spec Lazy.t list;
   }
-- 
cgit v1.2.3