diff options
Diffstat (limited to 'math/abella/files/patch-src_abella__dep.ml')
| -rw-r--r-- | math/abella/files/patch-src_abella__dep.ml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/math/abella/files/patch-src_abella__dep.ml b/math/abella/files/patch-src_abella__dep.ml new file mode 100644 index 000000000000..8e186a546d5d --- /dev/null +++ b/math/abella/files/patch-src_abella__dep.ml @@ -0,0 +1,13 @@ +--- src/abella_dep.ml.orig 2024-05-21 11:46:09 UTC ++++ src/abella_dep.ml +@@ -132,7 +132,7 @@ let () = + `S Manpage.s_bugs ; + `P "File bug reports on <$(b,https://github.com/abella-prover/abella/issues)>" ; + ] in +- let info = Cmd.info "abella_dep" ~doc ~man ~exits:[] in +- Cmd.v info @@ Term.(const abella_dep $ conf $ files) ++ let info = Term.info "abella_dep" ~doc ~man ~exits:[] in ++ Term.(const abella_dep $ conf $ files), info + in +- exit (Cmd.eval cmd) ++ Term.exit @@ Term.eval cmd |