From bc8b40d7d0d2fffc2343410d793656a6461285b7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Michele=20Galat=C3=A0?= Date: Mon, 21 Oct 2002 14:15:10 +0000 Subject: [PATCH] Comments reindented. --- helm/ocaml/cic_proof_checking/cicEnvironment.mli | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 *) (* 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;; -- 2.39.2