[sledge] Add `-v` alias for `--trace-all`

Reviewed By: mbouaziz Differential Revision: D12854501 fbshipit-source-id: 906dc9f1c
6 years ago · f1de054a39
parent 2f5ed3e554
commit f1de054a39
1 changed files with 1 additions and 1 deletions
--- a/sledge/src/config.ml
+++ b/sledge/src/config.ml
@ -90,7 +90,7 @@ type t =
            example, $(b,Control-Control.exec_inst) enables all tracing in
            the $(b,Control) module except the $(b,Control.exec_inst)
            function. *)
-  ; trace_all: bool  (** Enable all debug tracing. *) }
+  ; trace_all: bool [@aka ["v"]]  (** Enable all debug tracing. *) }
 [@@deriving cmdliner]

 let run main =