fix misleading error message in simple_cnf
authorPhilipp Gesang <philipp.gesang@intra2net.com>
Mon, 5 Nov 2018 09:47:49 +0000 (10:47 +0100)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Mon, 5 Nov 2018 11:21:05 +0000 (12:21 +0100)
commit0bc34b4b6c60fdf3899460795d2e2109927e977e
tree6100bb3d0e7493699a66ded72ce0407e465280af
parentcfcef1859c956719ff2965c3ad41489b83c56646
fix misleading error message in simple_cnf
src/simple_cnf.py