diff options
Diffstat (limited to 'math/abella/files/patch-src_abella.ml')
| -rw-r--r-- | math/abella/files/patch-src_abella.ml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/math/abella/files/patch-src_abella.ml b/math/abella/files/patch-src_abella.ml new file mode 100644 index 000000000000..6b6107511cca --- /dev/null +++ b/math/abella/files/patch-src_abella.ml @@ -0,0 +1,25 @@ +--- src/abella.ml.orig 2024-05-21 12:02:44 UTC ++++ src/abella.ml +@@ -877,8 +877,7 @@ let () = + + let em = + let doc = "Does nothing; use abella_dep instead." in +- let deprecated = "The -M flag is deprecated and does nothing; use abella_dep instead" in +- Arg.(value @@ flag @@ info ["M"] ~doc ~deprecated) ++ Arg.(value @@ flag @@ info ["M"] ~doc) + in + + let file = +@@ -897,9 +896,8 @@ let () = + `S Manpage.s_bugs ; + `P "File bug reports on <$(b,https://github.com/abella-prover/abella/issues)>" ; + ] in +- let info = Cmd.info "abella" ~doc ~man ~exits:[] ~version:Version.version in +- Cmd.v info @@ Term.(const abella_main $ flags $ switch $ output $ compiled $ annotate $ norec $ em $ file) ++ let info = Term.info "abella" ~doc ~man ~exits:[] ~version:Version.version in ++ Term.(const abella_main $ flags $ switch $ output $ compiled $ annotate $ norec $ em $ file), info + in +- +- Stdlib.exit (Cmd.eval' cmd) ++ Term.exit @@ Term.eval cmd + ;; |