From 36b2e7f0fcbbf0b07e014d311ea75a1559b60657 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 27 Dec 2019 21:38:52 -0800
Subject: [PATCH] revert fix for #2821 as it breaks other functionality

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/expr2polynomial.cpp | 3 ---
 1 file changed, 3 deletions(-)

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;
         }