From 856760599e51bd4c6da34112c993dc8bfb995f36 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 12 Jun 2019 18:34:34 +0200
Subject: Use properties for settings and save in json

---
 common/nextpnr.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'common/nextpnr.h')

diff --git a/common/nextpnr.h b/common/nextpnr.h
index 3b17920d..66134456 100644
--- a/common/nextpnr.h
+++ b/common/nextpnr.h
@@ -541,7 +541,7 @@ struct BaseCtx
     mutable std::vector<const std::string *> *idstring_idx_to_str;
 
     // Project settings and config switches
-    std::unordered_map<IdString, std::string> settings;
+    std::unordered_map<IdString, Property> settings;
 
     // Placed nets and cells.
     std::unordered_map<IdString, std::unique_ptr<NetInfo>> nets;
-- 
cgit v1.2.3