Fixed ezSAT stand-alone build
authorClifford Wolf <clifford@clifford.at>
Sun, 20 Jul 2014 23:03:01 +0000 (01:03 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 20 Jul 2014 23:03:01 +0000 (01:03 +0200)
commitade659e617922171ad1b678a51765ba2046c27d8
treef6dd312d5b3290fe019dd7c1dc296b3147664cc8
parent92c9403249ba59e5f57b2adb8b8b0141c2c63f26
Fixed ezSAT stand-alone build
libs/ezsat/Makefile
libs/ezsat/ezminisat.cc