comparison src/sat.sh @ 494:385cd2169eb5

core: memory bug fix
author Goffi <goffi@goffi.org>
date Fri, 17 Aug 2012 03:20:40 +0200
parents a11cde0cdf5b
children 952322b1d490
comparison
equal deleted inserted replaced
493:b7c4bb2c0668 494:385cd2169eb5