From 2440440353cded4e69475938b8be35cc95c2dc40 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Fri, 20 May 2022 18:30:36 +0200
Subject: [PATCH] removed deprecated flags completely

---
 include/flags.h |  4 ----
 src/lib/flags.c | 20 --------------------
 2 files changed, 24 deletions(-)

diff --git a/include/flags.h b/include/flags.h
index 6ea0b1d..7c5fe7a 100644
--- a/include/flags.h
+++ b/include/flags.h
@@ -42,12 +42,8 @@ static int noOutput = 0; //BOOLEAN FOR NOT PRINTING OUTPUT WHEN ENCRYPTING/DECRY
 
 //GETTERS
 int getKeyLength();
-DEPRECATED int getSkipCheck();
-DEPRECATED int getNoOutput();
 
 //SETTERS
 void setKeyLength(int keyLengthNew);
-DEPRECATED void setSkipCheck(int skipCheckNew);
-DEPRECATED void setNoOutput(int noOutputNew);
 
 #endif
diff --git a/src/lib/flags.c b/src/lib/flags.c
index d1c8bad..558c85a 100644
--- a/src/lib/flags.c
+++ b/src/lib/flags.c
@@ -1,15 +1,5 @@
 #include <why2/flags.h>
 
-int getSkipCheck()
-{
-    return skipCheck;
-}
-
-void setSkipCheck(int skipCheckNew)
-{
-    skipCheck = skipCheckNew;
-}
-
 int getKeyLength()
 {
     return keyLength;
@@ -18,14 +8,4 @@ int getKeyLength()
 void setKeyLength(int keyLengthNew)
 {
     keyLength = keyLengthNew;
-}
-
-int getNoOutput()
-{
-    return noOutput;
-}
-
-void setNoOutput(int noOutputNew)
-{
-    noOutput = noOutputNew;
 }
\ No newline at end of file