From 5ddf34d39bd1830617ac87268dd488a86f7a4ff5 Mon Sep 17 00:00:00 2001 From: Stephen Williams Date: Sat, 16 Aug 2008 15:36:14 -0700 Subject: [PATCH] Signed operands do not make power (**) real. --- net_expr.cc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/net_expr.cc b/net_expr.cc index 92594ea3d..4c15ddd7d 100644 --- a/net_expr.cc +++ b/net_expr.cc @@ -302,10 +302,6 @@ ivl_variable_type_t NetEBPow::expr_type() const return IVL_VT_REAL; if (left_->expr_type() == IVL_VT_REAL) return IVL_VT_REAL; - if (left_->has_sign()) - return IVL_VT_REAL; - if (right_->has_sign()) - return IVL_VT_REAL; return IVL_VT_LOGIC; }