From 207736b4ee0363ff6714071e64024965916eafc2 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 25 Oct 2015 19:30:49 +0100
Subject: Import more std:: stuff into Yosys namespace

---
 backends/smt2/smt2.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'backends/smt2/smt2.cc')

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index fa1c284d..c852921e 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -244,8 +244,8 @@ struct Smt2Worker
 		int width = GetSize(sig_y);
 
 		if (type == 's' || type == 'd' || type == 'b') {
-			width = std::max(width, GetSize(cell->getPort("\\A")));
-			width = std::max(width, GetSize(cell->getPort("\\B")));
+			width = max(width, GetSize(cell->getPort("\\A")));
+			width = max(width, GetSize(cell->getPort("\\B")));
 		}
 
 		if (cell->hasPort("\\A")) {
-- 
cgit v1.2.3