Univariate Hensel lifting now uses upoly.

[ginac.git] / ginac / ex.cpp

diff --git a/ginac/ex.cpp b/ginac/ex.cpp
index 7becb3e172da764458a6a28251c1526e8beec511..25d5607fdf2d6ba92ce2ebe1d0ae524c025f2318 100644 (file)
--- a/ginac/ex.cpp
+++ b/ginac/ex.cpp
@@ -32,7 +32,6 @@
 #include "power.h"
 #include "lst.h"
 #include "relational.h"
-#include "input_lexer.h"
 #include "utils.h"
 
 namespace GiNaC {