diff --git a/sledge/src/config.ml b/sledge/src/config.ml
index 733ebc291..2f50e8745 100644
--- 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 =