X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FcicTextualParser.mly;h=a98628702a0a759280434ad8ce00f4eca1827ad2;hb=e723f4a9cccc54aa03f1857ae5768eb41bcffefd;hp=b322831cc8052f08596c7dbadfe7e7677e6394a9;hpb=818c90057de4f3ca2e1971b267549fe146b89b6f;p=helm.git

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;;