From 2cd61b4f03e04725f376cc3067b993efe89de963 Mon Sep 17 00:00:00 2001
From: Kimaya Bedarkar <kbedarka@mpi-sws.org>
Date: Mon, 17 Feb 2025 18:22:20 +0100
Subject: [PATCH] fix

---
 model/processor/{ideal-uni-exceed.v => ideal_uni_exceed.v} | 0
 scripts/wordlist.pws                                       | 1 +
 2 files changed, 1 insertion(+)
 rename model/processor/{ideal-uni-exceed.v => ideal_uni_exceed.v} (100%)

diff --git a/model/processor/ideal-uni-exceed.v b/model/processor/ideal_uni_exceed.v
similarity index 100%
rename from model/processor/ideal-uni-exceed.v
rename to model/processor/ideal_uni_exceed.v
diff --git a/scripts/wordlist.pws b/scripts/wordlist.pws
index 0d92bc2de..59d771dfe 100644
--- a/scripts/wordlist.pws
+++ b/scripts/wordlist.pws
@@ -131,3 +131,4 @@ RHS
 LHS
 subsequence
 Baruah
+exceedance
-- 
GitLab