Commits

Corentin Derbois  committed fcf610c

Fix option warning

  • Participants
  • Parent commits c3eff3d

Comments (0)

Files changed (1)

File src/option.ml

     | e::r -> f e; this#rec_parce r
 
   method rec_parce (l:string list) = match l with
-        []                  ->
-          ()
+        [] -> ()
       | e::r when e = "-pp"
           -> this#addOpt "prettyprint" "yes"; this#rec_parce r
       | e::r when e = "-o"
     try
       if (Hashtbl.find options key = "yes") then true else false
     with
-      Not_found -> print_endline ("Option warning: " ^ key); false
+    Not_found -> false
 
   method get key =
     try
       Hashtbl.find options key
     with
-      Not_found -> print_endline ("Option warning: " ^ key); ""
+    Not_found -> ""
 
 end