Added missing argument checking to "mutate" command
authorClifford Wolf <clifford@clifford.at>
Thu, 4 Apr 2019 16:10:10 +0000 (18:10 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 4 Apr 2019 16:10:10 +0000 (18:10 +0200)
commit75ca06526a29dfac447265a52014305fb96d7ebf
treeed12f229c3af310db7d1ced2def43a5512698d76
parentef84b434a529fc8bc76ececbd531b5ddd39a4392
Added missing argument checking to "mutate" command

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/mutate.cc