From: Enrico Tassi Date: Tue, 5 Feb 2008 16:12:33 +0000 (+0000) Subject: reindent X-Git-Tag: make_still_working~5629 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f46c68d7ad8e10c0321b42f4a653df8fdf3be12;p=helm.git reindent --- diff --git a/helm/software/components/ng_kernel/nCic.ml b/helm/software/components/ng_kernel/nCic.ml index 9221ba8d4..2ff591ffc 100644 --- a/helm/software/components/ng_kernel/nCic.ml +++ b/helm/software/components/ng_kernel/nCic.ml @@ -43,12 +43,12 @@ and term = | Prod of name * term * term (* binder, source, target *) | Lambda of name * term * term (* binder, source, target *) | LetIn of name * term * term * term (* binder, type, term, body *) - | Const of NUriManager.reference (* reference contains indtypeno/constrno *) + | Const of NUriManager.reference (* reference contains indtypeno/constrno *) | Sort of sort (* sort *) | Implicit of implicit_annotation (* ... *) - | MutCase of NUriManager.reference * (* ind. reference, *) - term * term * (* outtype, ind. term *) - term list (* patterns *) + | MutCase of NUriManager.reference * (* ind. reference, *) + term * term * (* outtype, ind. term *) + term list (* patterns *) and obj = | Constant of term option * term