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/blif/blif.cc | 2 +-
 backends/btor/btor.cc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'backends')

diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc
index c257e4964..af6f8726a 100644
--- a/backends/blif/blif.cc
+++ b/backends/blif/blif.cc
@@ -61,7 +61,7 @@ struct BlifDumper
 	{
 	}
 
-	std::vector<std::string> cstr_buf;
+	vector<shared_str> cstr_buf;
 
 	const char *cstr(RTLIL::IdString id)
 	{
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index bcee505be..079a82a2f 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