Fixed gcc build (c++11 stuff in ezSAT)
authorClifford Wolf <clifford@clifford.at>
Wed, 12 Jun 2013 08:18:01 +0000 (10:18 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 12 Jun 2013 08:18:01 +0000 (10:18 +0200)
commit1bee82ae2d3395a13d5f5e371af6fe5d657602cb
tree34aef3a1450bdeb416709b5b8eb9f9cc1b85c058
parent4b311b7b99f55ee4bfe43447067b177fb2f90a82
Fixed gcc build (c++11 stuff in ezSAT)
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h