From 4c733301e6d13b6b13aef4549f262d05007ffc9f Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 11 Jun 2015 13:39:49 +0200
Subject: Fixed cstr_buf for std::string with small string optimization

---
 backends/btor/btor.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index bcee505b..079a82a2 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -155,7 +155,7 @@ struct BtorDumper
 		 
 	}
 	
-	std::vector<std::string> cstr_buf;
+	vector<shared_str> cstr_buf;
 
 	const char *cstr(const RTLIL::IdString id)
 	{
-- 
cgit v1.2.3