Fixing a memory leak.
Merge branch 'entailmentcheck' of github.com:CVC4/CVC4 into entailmentcheck
Merge branch 'entailmentcheck' of github.com:CVC4/CVC4 into entailmentcheck
Merging in Morgan's changes.
Fixes to the cln fits* functions.
Merge branch 'entailmentcheck' of github.com:CVC4/CVC4 into entailmentcheck
Merge branch 'entailmentcheck' of github.com:CVC4/CVC4 into entailmentcheck