From: Ben Pfaff <blp@gnu.org>
Date: Fri, 28 Apr 2006 04:50:22 +0000 (+0000)
Subject: Remove duplicate header inclusion.
X-Git-Tag: v0.6.0~930
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d2dd7bf45703f53ee23f52def8d7f484fb0322a7;p=pspp-builds.git

Remove duplicate header inclusion.
---

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>