*** empty log message ***

1 files changed, 0 insertions, 2 deletions

diff --git a/lib/pile.c b/lib/pile.c
index 6ad8c71..f6760a0 100644
--- a/lib/pile.c
+++ b/lib/pile.c
@@ -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));