One less warning.

[helm.git] / matita / components / ng_refiner / nCicUnification.ml

diff --git a/matita/components/ng_refiner/nCicUnification.ml b/matita/components/ng_refiner/nCicUnification.ml
index 6dfa7afee01c328cdbfa01d0e314fabee8d070f4..325ced5c436e9009c5072993ade330af1f0045fa 100644 (file)
--- 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