From 1f46c68d7ad8e10c0321b42f4a653df8fdf3be12 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 5 Feb 2008 16:12:33 +0000 Subject: [PATCH] reindent --- helm/software/components/ng_kernel/nCic.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 2.39.2