From e723f4a9cccc54aa03f1857ae5768eb41bcffefd Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 16 Apr 2002 11:35:25 +0000 Subject: [PATCH] Ooops. Comments in .mly must be delimited by /* and */ --- helm/ocaml/cic_textual_parser/cicTextualParser.mly | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser.mly b/helm/ocaml/cic_textual_parser/cicTextualParser.mly index b322831cc..a98628702 100644 --- a/helm/ocaml/cic_textual_parser/cicTextualParser.mly +++ b/helm/ocaml/cic_textual_parser/cicTextualParser.mly @@ -1,4 +1,4 @@ -(* Copyright (C) 2000, HELM Team. +/* Copyright (C) 2000, HELM Team. * * This file is part of HELM, an Hypertextual, Electronic * Library of Mathematics, developed at the Computer Science @@ -21,7 +21,7 @@ * * For details, see the HELM World-Wide-Web page, * http://cs.unibo.it/helm/. - *) + */ %{ open Cic;; -- 2.39.2