Commit dd4cfd06 authored by Michele Alberti's avatar Michele Alberti

Remove spurious line.

parent 30804497
...@@ -1653,7 +1653,6 @@ let init_from_cmdline () = ...@@ -1653,7 +1653,6 @@ let init_from_cmdline () =
end; end;
let files = Kernel.Files.get () in let files = Kernel.Files.get () in
if files = [] && not !Config.is_gui then Kernel.warning "no input file."; if files = [] && not !Config.is_gui then Kernel.warning "no input file.";
let files = List.map (fun f -> from_filename f) files in let files = List.map (fun f -> from_filename f) files in
try try
init_from_c_files files; init_from_c_files files;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment