diff options
Diffstat (limited to 'src/qm.c')
-rw-r--r-- | src/qm.c | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 +} |