Commit c8f1411f authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove obsolete occurrences of "contraption".

parent 21240a21
...@@ -65,7 +65,6 @@ let available_commands () = ...@@ -65,7 +65,6 @@ let available_commands () =
if Str.string_match re v 0 then if Str.string_match re v 0 then
let w = Str.matched_group 1 v in let w = Str.matched_group 1 v in
match acc with match acc with
| _ when w = "contraption" -> acc
| (h,_)::_ when h = w -> acc | (h,_)::_ when h = w -> acc
| _ -> (w, v) :: acc | _ -> (w, v) :: acc
else acc) [] commands in else acc) [] commands in
...@@ -75,7 +74,7 @@ let command sscmd = ...@@ -75,7 +74,7 @@ let command sscmd =
let cmd = let cmd =
let scmd = "why3" ^ sscmd in let scmd = "why3" ^ sscmd in
let cmd = Filename.concat command_path scmd in let cmd = Filename.concat command_path scmd in
if cmd <> "" && cmd <> "contraption" && Sys.file_exists cmd if cmd <> "" && Sys.file_exists cmd
then cmd then cmd
else begin else begin
let commands = available_commands () in let commands = available_commands () in
......
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