Get the PEDANTIC stuff right this time...

diff --git a/apps/engine.c b/apps/engine.c
index b01ca54f94e30bc64990551949fc7f0f1aa1cd47..c3e1e8de1c3838aaaa1e8b27160035ea2f713e29 100644 (file)
--- a/apps/engine.c
+++ b/apps/engine.c
@@ -523,9 +523,7 @@ end:
 #else
 
 # if PEDANTIC
-
-void *dummy=&dummy;
-
+static void *dummy=&dummy;
 # endif
 
 #endif