Remove duplicate header inclusion.

diff --git a/src/procedure.c b/src/procedure.c
index 7dcd37ba6d8c4374c79ff00745a4c0c08519cab1..67f22c5c0dfca5a0e0442feb0a8888973bd222a1 100644 (file)
--- a/src/procedure.c
+++ b/src/procedure.c
@@ -40,7 +40,6 @@
 #include <language/control/control-stack.h>
 #include <libpspp/alloc.h>
 #include <libpspp/message.h>
-#include <libpspp/message.h>
 #include <libpspp/misc.h>
 #include <libpspp/str.h>
 #include <output/manager.h>