From 5367ccdfa9f7c748b179c788979fb4a340932987 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 19 May 2008 23:31:21 +0000 Subject: [PATCH] Code simplification. --- helm/software/components/ng_kernel/nCicTypeChecker.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.ml b/helm/software/components/ng_kernel/nCicTypeChecker.ml index c028b916f..1a899aaaa 100644 --- 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 (); -- 2.39.2