From 65a47d3276e1074046bf4283cb6822f61f9c3988 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Fri, 29 Jan 2021 10:46:10 +0100
Subject: [PATCH] Remove compiler warnings: CIDER debug flags are used as int
 FIXME: Why arer they defined as BOOLEAN in main.c without generating a
 warning?

---
 src/sharedspice.c | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/sharedspice.c b/src/sharedspice.c
index 9e77aebfd..900407370 100644
--- a/src/sharedspice.c
+++ b/src/sharedspice.c
@@ -275,15 +275,15 @@ IFfrontEnd nutmeginfo = {
 /* Global debug flags from CIDER, soon they will become
  * spice variables :)
  */
-BOOLEAN ONEacDebug = FALSE;
-BOOLEAN ONEdcDebug = TRUE;
-BOOLEAN ONEtranDebug = TRUE;
-BOOLEAN ONEjacDebug = FALSE;
-
-BOOLEAN TWOacDebug = FALSE;
-BOOLEAN TWOdcDebug = TRUE;
-BOOLEAN TWOtranDebug = TRUE;
-BOOLEAN TWOjacDebug = FALSE;
+int ONEacDebug = FALSE;
+int ONEdcDebug = TRUE;
+int ONEtranDebug = TRUE;
+int ONEjacDebug = FALSE;
+
+int TWOacDebug = FALSE;
+int TWOdcDebug = TRUE;
+int TWOtranDebug = TRUE;
+int TWOjacDebug = FALSE;
 
 /* CIDER Global Variable Declarations */