From 4ebdecaf0f3e20b4c6989600c117a458622ca522 Mon Sep 17 00:00:00 2001 From: biouman Date: Sat, 28 Apr 2001 23:16:36 +0000 Subject: *** empty log message *** --- lib/pile.c | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) (limited to 'lib/pile.c') diff --git a/lib/pile.c b/lib/pile.c index 1fb1aff..6ad8c71 100644 --- a/lib/pile.c +++ b/lib/pile.c @@ -48,13 +48,8 @@ void push_pile(char *st) popcontext(); } else if (valid3) { /* il s agit de x */ pushcontext("c est X"); - rat=rat_constr(1, 1); - /*pushcontext("rat construit"); - poly=ply_constr(rat, 0); - pushcontext("poly cstr"); - push_pile_poly(poly); - pushcontext("poly push"); - popcontext();*/ + push_pile_poly(ply_constr(rat_constr(1, 1), 0)); + popcontext(); } else if (valid4) { /* il s agit d une variable */ pushcontext("c est une variable"); push_pile_poly(ply_copy(poly)); -- cgit v1.2.3