From 744672b90fe21495913fc321633bc6d103e3cb6b Mon Sep 17 00:00:00 2001 From: Pixel Date: Wed, 2 May 2001 10:44:20 +0000 Subject: Pouet --- lib/pile.c | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/pile.c') diff --git a/lib/pile.c b/lib/pile.c index 55a0ff2..a42f75f 100644 --- a/lib/pile.c +++ b/lib/pile.c @@ -420,7 +420,6 @@ void act_pile(int func) (ply_valuation (operande2.poly, rat_to_double(operande[0].poly->coef))), 0)); - if (operande[0].poly) ply_destruct(operande[0].poly); ply_destruct(operande2.poly); -- cgit v1.2.3