From 61512b6f4115fce5326b78914b675be278c6845f Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 17 May 2015 08:19:52 +0200 Subject: Verific build fixes --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends/verific/verific.cc') 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 &attributes, DesignObj *obj) +static void import_attributes(dict &attributes, DesignObj *obj) { MapIter mi; Att *attr; -- cgit v1.2.3