Change "may never" to "must never"
authorGeoffrey Martin-Noble <gcmn@google.com>
Wed, 29 May 2019 20:58:10 +0000 (13:58 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Sun, 2 Jun 2019 03:08:42 +0000 (20:08 -0700)
commita7b862240c5293a1b30c6ba2ddcc1b576feb2461
tree5ca259c1e30a98e98bdb83e54be8aafd09ac1554
parentbffba61d4806ae26d7d032b5cb4450bc8db83775
Change "may never" to "must never"

    "may never" indicates that it's allowed to never hold a value. I believe the intent here is that it is not allowed to ever hold a value.

--

PiperOrigin-RevId: 250560623
mlir/include/mlir/EDSC/Builders.h