From: Huibo SHI <shihuibo19@gmail.com>
Date: Tue, 11 Mar 2014 15:29:42 +0000 (+0100)
Subject: Suppression d'un commentaire
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=29eaf0ea22dbf0a169d7e6e8619a2f21d358d873

Suppression d'un commentaire
---

diff --git a/src/table_options.ml b/src/table_options.ml
index d1e08e7..22122b3 100644
--- a/src/table_options.ml
+++ b/src/table_options.ml
@@ -6,7 +6,7 @@ let output_file : string option ref = ref None
 let queries = ref []
 
 
-let set_string_option r s = r := Some s (*pas compris*)
+let set_string_option r s = r := Some s 
 
 let specs = align [