-
dimitris authored
Details: isReflCo is no longer reliable for detection of no-rewriting/flattening since we are using cached reflexivity solved goals. Introduced a boolean flag in the flattener for this purpose, instead.
e5449309
Details: isReflCo is no longer reliable for detection of no-rewriting/flattening since we are using cached reflexivity solved goals. Introduced a boolean flag in the flattener for this purpose, instead.