From c8ef902ddab8207c0bfea6539cdba4dc8d18600f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 19 Jul 2012 22:59:13 +0000 Subject: [PATCH] One less warning. --- matita/components/ng_refiner/nCicUnification.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/components/ng_refiner/nCicUnification.ml b/matita/components/ng_refiner/nCicUnification.ml index 6dfa7afee..325ced5c4 100644 --- a/matita/components/ng_refiner/nCicUnification.ml +++ b/matita/components/ng_refiner/nCicUnification.ml @@ -140,7 +140,7 @@ let rec could_reduce status ~subst context = | C.Appl (C.Const (Ref.Ref (_,Ref.Fix (_,recno,_)))::args) when List.length args > recno -> let t = NCicReduction.whd status ~subst context (List.nth args recno) in - could_reduce status subst context t + could_reduce status ~subst context t | C.Match (_,_,he,_) -> let he = NCicReduction.whd status ~subst context he in could_reduce status ~subst context he -- 2.39.2