From 0b4dee699620ed60c618dffadcc59db05c8d44dc Mon Sep 17 00:00:00 2001
From: "Dirk-Jan C. Binnema" <djcb@djcbsoftware.nl>
Date: Mon, 17 Feb 2020 21:45:21 +0200
Subject: [PATCH] mu-script: fix compiler warning

---
 lib/mu-script.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/lib/mu-script.c b/lib/mu-script.c
index ba88b217..baf2a1fc 100644
--- a/lib/mu-script.c
+++ b/lib/mu-script.c
@@ -1,7 +1,5 @@
-/* -*-mode: c; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8 -*-*/
-
 /*
-** Copyright (C) 2012-2013 Dirk-Jan C. Binnema <djcb@djcbsoftware.nl>
+** Copyright (C) 2012-2020 Dirk-Jan C. Binnema <djcb@djcbsoftware.nl>
 **
 ** 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 the
@@ -24,7 +22,11 @@
 #endif /*HAVE_CONFIG_H*/
 
 #ifdef BUILD_GUILE
+
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wredundant-decls"
 #include <libguile.h>
+#pragma GCC diagnostic pop
 #endif /*BUILD_GUILE*/
 
 #include <stdlib.h>