Automatic commit

diff --git a/selector.cc b/selector.cc
index 4950c90..0d1e93e 100644 (file)
--- a/selector.cc
+++ b/selector.cc
@@ -773,11 +773,6 @@ int main(int argc, char **argv) {
     hash_table = new_hash_table(hash_table_size);
   }
 
-  // if(i == argc && !input_filename[0]) {
-    // cerr << "You must provide a filename." << endl;
-    // exit(1);
-  // }
-
   if(input_filename[0]) {
     read_file(input_filename,
               nb_lines_max, &nb_lines, lines,