From 3908fb1c6d68678daa65b4a2fa944424575acf87 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 14 May 2017 12:29:33 +0200
Subject: Removing a line warned unused.

---
 pretyping/constr_matching.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pretyping/constr_matching.ml b/pretyping/constr_matching.ml
index afdf601c21..daac33f503 100644
--- a/pretyping/constr_matching.ml
+++ b/pretyping/constr_matching.ml
@@ -84,7 +84,6 @@ let rec build_lambda vars ctx m = match vars with
 | n :: vars ->
   (* change [ x1 ... xn y z1 ... zm |- t ] into
      [ x1 ... xn z1 ... zm |- lam y. t ] *)
-  let len = List.length ctx in
   let pre, suf = List.chop (pred n) ctx in
   let (na, t, suf) = match suf with
   | [] -> assert false
-- 
cgit v1.2.3