From 207736b4ee0363ff6714071e64024965916eafc2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 25 Oct 2015 19:30:49 +0100 Subject: Import more std:: stuff into Yosys namespace --- kernel/satgen.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/satgen.h') diff --git a/kernel/satgen.h b/kernel/satgen.h index 7b0994441..d44d61f16 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -980,7 +980,7 @@ struct SatGen div_zero_result.insert(div_zero_result.end(), y.size() - div_zero_result.size(), ez->CONST_FALSE); } } else { - int copy_a_bits = std::min(cell->getPort("\\A").size(), cell->getPort("\\B").size()); + int copy_a_bits = min(cell->getPort("\\A").size(), cell->getPort("\\B").size()); div_zero_result.insert(div_zero_result.end(), a.begin(), a.begin() + copy_a_bits); if (cell->parameters["\\A_SIGNED"].as_bool() && cell->parameters["\\B_SIGNED"].as_bool()) div_zero_result.insert(div_zero_result.end(), y.size() - div_zero_result.size(), div_zero_result.back()); -- cgit v1.2.3