Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
Description
Project operator should not return true in any case, this may trigger additional rewritings in presence of constraints.
Project operator should not return true in any case, this may trigger additional rewritings in presence of constraints.