[MLIR][Presburger] Remove redundant check from hasConsistentState
This patch removes a redundant check in hasConsistentState which is always true after introduction of PresburgerSpace. Reviewed By: arjunp Differential Revision: https://reviews.llvm.org/D120615
Loading
Please sign in to comment