Update the wording of a comment in the LangRef now that multi-threading is no...
authorRiver Riddle <riverriddle@google.com>
Sat, 27 Apr 2019 21:26:41 +0000 (14:26 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 6 May 2019 15:19:03 +0000 (08:19 -0700)
commita8ef8fa182bcb3653457d4c641a76ec42970bbb0
tree9c25c61aa161728fe092e6825ca8249e326c0407
parent54ee709e887291d7ac8505cdaa54e81e32c2633e
Update the wording of a comment in the LangRef now that multi-threading is no longer an anticipated feature.

--

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