Coccinelle release 1.0.0-rc12

[bpt/coccinelle.git] / parsing_cocci / command_line.ml

diff --git a/parsing_cocci/command_line.ml b/parsing_cocci/command_line.ml
index e828fbe..2182af9 100644 (file)
--- a/parsing_cocci/command_line.ml
+++ b/parsing_cocci/command_line.ml
@@ -24,6 +24,7 @@
  *)
 
 
+# 0 "./command_line.ml"
 (* ---------------------------------------------------------------------- *)
 (* useful functions *)
 
@@ -166,7 +167,7 @@ let command_line args =
   | Some(pre_args,sp,post_args) ->
       (match post_args with
        first::post_args ->
-         pre_args @ "--sp_file" ::
+         pre_args @ "--sp-file" ::
                     (reparse (tokenize first)) ::
                     post_args
       | [] -> failwith "--sp needs an argument")