Fix -Wmismatched-tags warning.
authorJacques Pienaar <jpienaar@google.com>
Fri, 3 May 2019 21:41:55 +0000 (14:41 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 6 May 2019 15:27:22 +0000 (08:27 -0700)
commit9233df9045ecaa697d9f15c297ee7129554c9dd6
tree71470d1071397fef61bb64881747c9def1ffacc5
parent777e7b4f4f6b40314cd484d5fbc60cdd08d700b0
Fix -Wmismatched-tags warning.

--

PiperOrigin-RevId: 246576348
mlir/include/mlir/IR/Diagnostics.h