aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/qm.c4
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
+}