Update loop.for verifier message
authorUday Bondhugula <udayb@iisc.ac.in>
Tue, 22 Oct 2019 14:34:24 +0000 (07:34 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Tue, 22 Oct 2019 14:34:56 +0000 (07:34 -0700)
commitad6925f479546f4340e88c2223f285d1006a82e0
treec4870b0934f75975ea93c6d79803e7f044b7b201
parent43de1c43037b352010376b5e1199db0e4e54848e
Update loop.for verifier message

fix: nonnegative -> positive

Closes tensorflow/mlir#206

COPYBARA_INTEGRATE_REVIEW=https://github.com/tensorflow/mlir/pull/206 from bondhugula:bondhugula-patch-1 9a47ca7dfd230180a9df33e9a64b33d02252d30a
PiperOrigin-RevId: 276060885
mlir/lib/Dialect/LoopOps/LoopOps.cpp
mlir/test/Dialect/Loops/invalid.mlir