From f9a307a50b5ce67b67d2b53e8c1334ea23ffd997 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 27 Sep 2014 16:17:53 +0200
Subject: namespace Yosys

---
 backends/btor/btor.cc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'backends/btor')

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 8ce5bb5ed..5bd71716e 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -30,6 +30,9 @@
 #include <string>
 #include <math.h>
 
+USING_YOSYS_NAMESPACE
+PRIVATE_NAMESPACE_BEGIN
+
 struct BtorDumperConfig
 {
 	bool subckt_mode;
@@ -1057,3 +1060,4 @@ struct BtorBackend : public Backend {
 	}
 } BtorBackend;
 
+PRIVATE_NAMESPACE_END
-- 
cgit v1.2.3