X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicReduction.ml;h=6105dd3a08c68739c3a0e208c19923c38bd86a09;hb=4dfb1305a9c4a7c292f4b1957de1454d46c1ab8a;hp=3b082339507b3739ae816516f507ebdef1a34e52;hpb=dc0eae6607f2b299deeeb1a2c4e145e7a6d40629;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicReduction.ml b/helm/software/components/ng_kernel/nCicReduction.ml
index 3b0823395..6105dd3a0 100644
--- a/helm/software/components/ng_kernel/nCicReduction.ml
+++ b/helm/software/components/ng_kernel/nCicReduction.ml
@@ -164,7 +164,7 @@ module Reduction(RS : Strategy) = struct
         | (_, _, C.Const (Ref.Ref (_,Ref.Con (_,j,lno))), s')->
           let _,params = HExtlib.split_nth lno s' in
           aux (k, e, List.nth pl (j-1), params@s)
-        | _ -> config,reduced == match_head)
+        | _ -> config, true)
    in
     aux
   ;;