[MLIR][Presburger][NFC] Fix PresburgerLocalSpace::print() output
authorGroverkss <groverkss@gmail.com>
Sun, 6 Mar 2022 11:12:20 +0000 (16:42 +0530)
committerGroverkss <groverkss@gmail.com>
Sun, 6 Mar 2022 11:12:20 +0000 (16:42 +0530)
commitae2764e835a26bad9774803eca0a6530df2a3e2d
treec847925b62ddd52c294d39d0a4ba4921d53ea1d1
parent17a68065c378da74805e4e1b9a5b78cc9f83e580
[MLIR][Presburger][NFC] Fix PresburgerLocalSpace::print() output

This change puts a colon before before the printing number of locals in
PresburgerLocalSpace::print().
mlir/lib/Analysis/Presburger/PresburgerSpace.cpp