diff options
Diffstat (limited to 'lib/pile.c')
-rw-r--r-- | lib/pile.c | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -29,7 +29,6 @@ void push_pile(char *st) double d_number; polynome poly; char buf[128]; - rationnel rat; sprintf(buf,"appel à push_pile(%s)",st); pushcontext(buf); @@ -37,7 +36,6 @@ void push_pile(char *st) d_number = char_to_double(st, &valid2); valid3 = is_mute(st); poly = (polynome) NomVarToVar(st, variables, &valid4); - if (valid1) { /* il s agit d un entier */ pushcontext("c est un entier"); push_pile_poly(ply_constr(rat_constr(i_number, 1), 0)); |