X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftable_options.ml;h=22122b3be83b6fe8451b80c72576f6ed22446fa4;hp=d1e08e74ae5fe17396ae7516ce6e947d6e43cbd0;hb=29eaf0ea22dbf0a169d7e6e8619a2f21d358d873;hpb=fd6b88c9f3b4be9ebf70287a34ae283f8340413a

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 [