Fixed minor typo in "sim" help message
authoracw1251 <acwright@mit.edu>
Wed, 12 Sep 2018 22:33:27 +0000 (18:33 -0400)
committeracw1251 <acwright@mit.edu>
Wed, 12 Sep 2018 22:34:27 +0000 (18:34 -0400)
commit5fe16c25b81d507fa41381eca70c5aada59db25f
tree9ba51f4507ab80a32e2e710c3fb49eebe18cfe5b
parent51f1bbeeb08020a9b739d2bd0cf4d79ca6e62015
Fixed minor typo in "sim" help message
passes/sat/sim.cc