[MLIR][Presburger] coalesce fixups: inline comments /// -> //, i++ -> ++i (NFC)
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 25 Feb 2022 13:48:49 +0000 (13:48 +0000)
committerArjun P <arjunpitchanathan@gmail.com>
Fri, 25 Feb 2022 13:53:03 +0000 (13:53 +0000)
commitcfab1268880ce0f1945af5eb1f9646446aa8b92f
tree150e52554eccd7ddc5f6c67b2a2063e4bc063a58
parentedaf718736e8c0d18d30a05a0975d0ba9a4db0a7
[MLIR][Presburger] coalesce fixups: inline comments /// -> //, i++ -> ++i (NFC)

Also use empty() instead of size() == 0.
mlir/lib/Analysis/Presburger/PresburgerSet.cpp