From e06577fe952a3c268520b280b020bb2bff252529 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 29 May 2020 18:14:59 +0100
Subject: Fix compilation moving to PTree

---
 src/verilog/AssocMap.v | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/verilog/AssocMap.v')

diff --git a/src/verilog/AssocMap.v b/src/verilog/AssocMap.v
index 43f9065..88b13a6 100644
--- a/src/verilog/AssocMap.v
+++ b/src/verilog/AssocMap.v
@@ -198,6 +198,10 @@ Definition empty_assocmap : assocmap := AssocMap.empty value.
 
 Definition merge_assocmap : assocmap -> assocmap -> assocmap := merge value.
 
+Ltac unfold_merge :=
+  unfold merge_assocmap; try (repeat (rewrite merge_add_assoc));
+  rewrite AssocMapExt.merge_base_1.
+
 Module AssocMapNotation.
   Notation "a ! b" := (AssocMap.get b a) (at level 1).
   Notation "a # ( b , c )" := (find_assocmap c b a) (at level 1).
-- 
cgit