comparison src/sat.tac @ 721:0077912bc9ba

jp: removed named argument for pipeOut, as it's not managed with dynamicaly added methods
author Goffi <goffi@goffi.org>
date Tue, 26 Nov 2013 18:30:35 +0100
parents 84a6e83157c2
children bfabeedbf32e
comparison
equal deleted inserted replaced
720:3954cb4d96a7 721:0077912bc9ba