From: Michele Galatà <??>
Date: Mon, 21 Oct 2002 14:15:10 +0000 (+0000)
Subject: Comments reindented.
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bc8b40d7d0d2fffc2343410d793656a6461285b7;p=helm.git

Comments reindented.
---

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.mli b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
index b781a5c42..22fd5d657 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.mli
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
@@ -30,7 +30,9 @@
 (*                Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>               *)
 (*                                 24/01/2000                                 *)
 (*                                                                            *)
-(* This module implements a trival cache system (an hash-table) for cic       *)(* objects. Uses the getter (getter.ml) and the parser (cicParser.ml)         *)(*                                                                            *)
+(* This module implements a trival cache system (an hash-table) for cic       *)
+(* objects. Uses the getter (getter.ml) and the parser (cicParser.ml)         *)
+(*                                                                            *)
 (******************************************************************************)
 
 exception CircularDependency of string;;