-
Kim Nguyễn authored
Fix a pretty printing error for ground types (the negative part was not shown due to "worth_complement" being called twice).
924ac464
Fix a pretty printing error for ground types (the negative part was not shown due to "worth_complement" being called twice).