From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 24 Oct 2012 11:56:34 +0000 (+0200)
Subject: Cosmetic changes.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=hacks%2Ftiki_of_html.git;a=commitdiff_plain;h=3692b95809d468d0ae3a1b722bba47d5d923277b

Cosmetic changes.
---

diff --git a/tiki_of_html.cd b/tiki_of_html.cd
index ff79a69..0972719 100644
--- 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