Handle parse failure for setting spec constants
authorDavid Neto <dneto@google.com>
Thu, 22 Sep 2016 21:09:34 +0000 (17:09 -0400)
committerDavid Neto <dneto@google.com>
Thu, 22 Sep 2016 21:45:56 +0000 (17:45 -0400)
commitc6b23f823750fed58945ed0a47e1d65d9db92fd2
treef439fcbed0add1aee62b6b11c9de091b57c5d827
parenta6ef1ea29eecfb8a7ecdcc5a7070595440d6f188
Handle parse failure for setting spec constants
tools/opt/opt.cpp