1 files changed, 6 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 3c7fe9b..bb12270 100644
--- a/src/main.c
+++ b/src/main.c
@@ -89,6 +89,7 @@ extern int select();
 #include "tty.h"
 #include "eval.h"
 #include "log.h"
+#include "prove.h"
 
 /*     local function declarations       */
 #ifdef MOTDFILE
@@ -344,6 +345,11 @@ under certain conditions; type \"#help copyright\" for details.\n"
 		   );
     }
 
+    if (argc == 2 && strcmp(argv[1], "--prove") == 0) {
+        prove();
+        exit(0);
+    }
+
     if (argc == 1 || argc == 3) {
 	tty_add_initial_binds();
 	tty_add_walk_binds();