diff options
author | biouman <biouman> | 2001-04-28 23:16:36 +0000 |
---|---|---|
committer | biouman <biouman> | 2001-04-28 23:16:36 +0000 |
commit | 4ebdecaf0f3e20b4c6989600c117a458622ca522 (patch) | |
tree | e736bdb65dec40d5045c3b68411f71f29c6bfc09 /lib/pile.c | |
parent | 842576279c3d573da0f82d06523864c34190ce56 (diff) |
*** empty log message ***
Diffstat (limited to 'lib/pile.c')
-rw-r--r-- | lib/pile.c | 9 |
1 files changed, 2 insertions, 7 deletions
@@ -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)); |