Fix typo in fmcombine log message, fixes #1063
authorClifford Wolf <clifford@clifford.at>
Wed, 5 Jun 2019 07:26:44 +0000 (09:26 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 5 Jun 2019 07:26:44 +0000 (09:26 +0200)
commit4190d7c09477f4bdd35cbd7bf5388254764b2321
tree23378184b31f738edd504f435826dbd018f24b39
parent1332051f331108e73ac468f226034720bd856281
Fix typo in fmcombine log message, fixes #1063

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