Closed rrudakov closed 3 years ago
I had to remove some predicates which are not supported in version 1.8 to fix the build after merging #63.
I had to remove some predicates which are not supported in version 1.8 to fix the build after merging #63.