blob: 8e186a546d5d7bcb6f7721461693db2c305a808e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
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
|
