updated readmeHEADmaster

1 files changed, 3 insertions, 1 deletions

diff --git a/src/qm.c b/src/qm.c
index 2b3677a..edf1c8c 100644
--- a/src/qm.c
+++ b/src/qm.c
@@ -13,6 +13,8 @@ int main(int argc, char* argv[]) {
     }
 
     DNF startDNF = parseDNFStr(argv[1]);
+    printForm(&startDNF);
+    printForm2(&startDNF);
     SimplifiedTableItem simplifiedTable[startDNF.numTerms];
     unsigned int simplifiedTableLength = startDNF.numTerms;
     setupMergeTable(simplifiedTable, &startDNF);
@@ -209,4 +211,4 @@ void printForm2(const DNF* form) {
         }
     }
     printf("\n");
-}
\ No newline at end of file
+}