comparison src/sat.tac @ 332:8c9b9ef13ba1

core: minor refactoring
author Goffi <goffi@goffi.org>
date Tue, 24 May 2011 00:48:29 +0200
parents 0a8eb0461f31
children cf005701624b
comparison
equal deleted inserted replaced
331:0a8eb0461f31 332:8c9b9ef13ba1