Fix a minor formatting issue.
authorMLIR Team <no-reply@google.com>
Thu, 2 May 2019 13:33:58 +0000 (06:33 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 6 May 2019 15:24:31 +0000 (08:24 -0700)
commite3be54cd4ac88e8daf60f2ca32fd5e2f85bf1b40
tree1aa196da66ba325953d9800b7ea7e7e2d32512d4
parentbedc5af9ae92baeb4c39ea656e4b26bed8c45172
Fix a minor formatting issue.

--

PiperOrigin-RevId: 246307329
mlir/g3doc/LangRef.md