From d2dd7bf45703f53ee23f52def8d7f484fb0322a7 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@gnu.org>
Date: Fri, 28 Apr 2006 04:50:22 +0000
Subject: [PATCH] Remove duplicate header inclusion.

---
 src/procedure.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/procedure.c b/src/procedure.c
index 7dcd37ba..67f22c5c 100644
--- 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>
-- 
2.30.2