From 3692b95809d468d0ae3a1b722bba47d5d923277b Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Wed, 24 Oct 2012 13:56:34 +0200
Subject: [PATCH] Cosmetic changes.

---
 tiki_of_html.cd | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

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