1 files changed, 2 insertions, 7 deletions
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));