Cosmetic changes.

diff --git a/tiki_of_html.cd b/tiki_of_html.cd
index ff79a69..0972719 100644 (file)
--- a/tiki_of_html.cd
+++ b/tiki_of_html.cd
@@ -1,9 +1,9 @@
-/*
-
+(*
+  
   cduce --compile tiki_of_html.cd
   cduce --run tiki_of_html.cdo --arg http://digicosme.lri.fr/innovation.html
 
-*/
+*)
 type html_element = <_ ..>html_content
 type html_content = [ (Byte | html_element)* ]
 type space = ' ' | '\t' | '\n'
@@ -76,9 +76,6 @@ let tiki_of_html (level : Int) (h : html_content) : Latin1 =
   (* Un charactère, on le copie dans la sortie *)
   | Byte & c -> [ c ]
 
-;;
-
-
 (* main *)
 let [] =
   match argv [] with