From 1fb9e77a8b647df4ba60f27be62d748a680f094c Mon Sep 17 00:00:00 2001
From: Marco Maida <mmaida@mpi-sws.org>
Date: Fri, 12 Mar 2021 10:37:32 +0100
Subject: [PATCH] Removed empty lines causing some error in the spell check

---
 scripts/wordlist.pws | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/wordlist.pws b/scripts/wordlist.pws
index 70f856d50..355d82b53 100644
--- a/scripts/wordlist.pws
+++ b/scripts/wordlist.pws
@@ -62,5 +62,4 @@ superadditive
 subadditivity
 subadditive
 ad
-hoc
-
+hoc
\ No newline at end of file
-- 
GitLab