From 533bca9426ee3166433b29e84c8f942f7409981b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 10 Aug 2023 12:29:11 +0100
Subject: Annonimize submission

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

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

diff --git a/src/hls/AssocMap.v b/src/hls/AssocMap.v
index 4941b0e..eaf8484 100644
--- a/src/hls/AssocMap.v
+++ b/src/hls/AssocMap.v
@@ -1,7 +1,7 @@
 (*
  * Vericert: Verified high-level synthesis.
- * Copyright (C) 2020-2022 Yann Herklotz <yann@yannherklotz.com>
- *               2020 James Pollard <j@mes.dev>
+ * Copyright (C) 2020-2022 ___ ___ <___@______.com>
+ *               2020 ___ ___ <___>
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
-- 
cgit