Suppression d'un commentaire

[tatoo.git] / src / table_options.ml

diff --git a/src/table_options.ml b/src/table_options.ml
index d1e08e7..22122b3 100644 (file)
--- 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 [