From 511ab6c8d8eb19c0c3cc6f68dcc1c3b7cf61bc01 Mon Sep 17 00:00:00 2001
From: gothictomato <gothictomato@pm.me>
Date: Sun, 17 Jul 2022 21:42:47 -0400
Subject: [PATCH] Changed main.c back to normal run mode from testing

Signed-off-by: gothictomato <gothictomato@pm.me>
---
 main.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/main.c b/main.c
index cf4647c..9b3e030 100644
--- a/main.c
+++ b/main.c
@@ -5,8 +5,6 @@
 #include "tests/masterTest.h"
 
 int main() {
-    runuf20();
-    return 0;
     /*
     srand( utime());
     u32 cnt = 4096;
@@ -28,6 +26,8 @@ int main() {
 
     }
      */
+
+    /* Expects a path to a DIMACS file */
     cnf* c = readDIMACS("/home/lev/Downloads/uf50/uf50-088.cnf");
     // printf("%u\n", c->litcnt);