removing unused gross code
authorBrendan Hansen <brendan.f.hansen@gmail.com>
Wed, 24 Nov 2021 00:08:25 +0000 (18:08 -0600)
committerBrendan Hansen <brendan.f.hansen@gmail.com>
Wed, 24 Nov 2021 00:08:25 +0000 (18:08 -0600)
commit69d8f8c5a70e1a145dfe21e3b8505f44537e30db
tree939cdcae1457b1ca30e7665225d143c8db0fd266
parentebf5eb5418391df5d039d7f5ec98d10da80b743b
removing unused gross code
src/checker.c
src/symres.c