diff --git a/src/ast/expr2polynomial.cpp b/src/ast/expr2polynomial.cpp
index 541f8a770..4669f39d4 100644
--- a/src/ast/expr2polynomial.cpp
+++ b/src/ast/expr2polynomial.cpp
@@ -188,9 +188,6 @@ struct expr2polynomial::imp {
                     store_var_poly(t);
                 return true;
             }
-            if (k.is_zero()) {
-                throw_not_polynomial();
-            }
             push_frame(t);
             return false;
         }