diff --git a/src/main.ml b/src/main.ml
index f468f0899e23f238150a431c527db7b4f2e18c69..53efcc8fd38cba1b0c77f26e4d48713125c7d326 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -133,9 +133,7 @@ let config_cmd =
 
 let verify_cmd =
   let cmdname = "verify" in
-  let doc =
-    "Property verification of neural networks using external provers."
-  in
+  let doc = "Property verification using external provers." in
   let info =
     Cmd.info cmdname ~sdocs:Manpage.s_common_options ~exits:Cmd.Exit.defaults
       ~doc