summaryrefslogtreecommitdiff
path: root/frontends/verific/verific.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-05-17 08:19:52 +0200
committerClifford Wolf <clifford@clifford.at>2015-05-17 08:19:52 +0200
commit61512b6f4115fce5326b78914b675be278c6845f (patch)
tree57c8933bbe35e8bf18065f9382c033bf9731e154 /frontends/verific/verific.cc
parentc2f30e0de41d93ef7e6468ba7041c51c971c6a0c (diff)
Verific build fixes
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r--frontends/verific/verific.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 79abcf24..5f362a0c 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -65,7 +65,7 @@ static void msg_func(msg_type_t msg_type, const char *message_id, linefile_type
log("\n");
}
-static void import_attributes(std::map<RTLIL::IdString, RTLIL::Const> &attributes, DesignObj *obj)
+static void import_attributes(dict<RTLIL::IdString, RTLIL::Const> &attributes, DesignObj *obj)
{
MapIter mi;
Att *attr;