Code simplification.

diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.ml b/helm/software/components/ng_kernel/nCicTypeChecker.ml
index c028b916f24d6e9d39ac53c93782ed840d0b2c31..1a899aaaaa1827e3ffe20a3a2522f13220dbf2b7 100644 (file)
--- a/helm/software/components/ng_kernel/nCicTypeChecker.ml
+++ b/helm/software/components/ng_kernel/nCicTypeChecker.ml
@@ -1013,8 +1013,7 @@ and type_of_constant ((Ref.Ref (uri,_)) as ref) =
  in
   match E.get_checked_obj uri, ref with
   | (_,_,_,_,C.Inductive(isind1,lno1,tl,_)),Ref.Ref(_,Ref.Ind (isind2,i,lno2))->
-      if isind1 <> isind2 then error ();
-      if lno1 <> lno2 then error ();
+      if isind1 <> isind2 || lno1 <> lno2 then error ();
       let _,_,arity,_ = List.nth tl i in arity
   | (_,_,_,_,C.Inductive (_,lno1,tl,_)), Ref.Ref (_,Ref.Con (i,j,lno2))  ->
       if lno1 <> lno2 then error ();