Ooops. Comments in .mly must be delimited by /* and */

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser.mly b/helm/ocaml/cic_textual_parser/cicTextualParser.mly
index b322831cc8052f08596c7dbadfe7e7677e6394a9..a98628702a0a759280434ad8ce00f4eca1827ad2 100644 (file)
--- 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;;