1 files changed, 0 insertions, 8 deletions
diff --git a/main.c b/main.c
index f546384..f83fe89 100644
--- a/main.c
+++ b/main.c
@@ -11,14 +11,6 @@ void repl(int, char **);
 void
 main(int argc, char *argv[])
 {
-	ARGBEGIN{
-	case 'd':
-		debug = 1;
-		break;
-	default:
-		usage();
-	}ARGEND
-
 	clausenr = 2; /* Start at two since 0 is for the facts in the database, and 1 is for queries */
 	initflags();
 	initstreams();