From 29eaf0ea22dbf0a169d7e6e8619a2f21d358d873 Mon Sep 17 00:00:00 2001 From: Huibo SHI Date: Tue, 11 Mar 2014 16:29:42 +0100 Subject: [PATCH] Suppression d'un commentaire --- src/table_options.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 [ -- 2.17.1