From 59fd648abbf0f556d0be25c47e9378607b648481 Mon Sep 17 00:00:00 2001
From: Wolfgang Becker <uafr@gmx.de>
Date: Wed, 28 Sep 2011 19:15:22 +0000
Subject: [PATCH] Make it compile with 4.6.1.

SVN-Revision: 6694
---
 src/addon/addon_manager.cpp     | 1 -
 src/gui/menu.cpp                | 2 --
 src/supertux/screen_manager.hpp | 1 +
 3 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/addon/addon_manager.cpp b/src/addon/addon_manager.cpp
index cd899f020..562096cee 100644
--- a/src/addon/addon_manager.cpp
+++ b/src/addon/addon_manager.cpp
@@ -29,7 +29,6 @@
 #ifdef HAVE_LIBCURL
 #  include <curl/curl.h>
 #  include <curl/easy.h>
-#  include <curl/types.h>
 #endif
 
 #include "addon/addon.hpp"
diff --git a/src/gui/menu.cpp b/src/gui/menu.cpp
index 6ce60ac74..b05d41e16 100644
--- a/src/gui/menu.cpp
+++ b/src/gui/menu.cpp
@@ -453,7 +453,6 @@ Menu::draw_item(DrawingContext& context, int index)
   Color text_color = default_color;
   float x_pos       = pos.x;
   float y_pos       = pos.y + 24*index - menu_height/2 + 12;
-  int shadow_size = 2;
   int text_width  = int(Resources::normal_font->get_text_width(pitem.text));
   int input_width = int(Resources::normal_font->get_text_width(pitem.input) + 10);
   int list_width = 0;
@@ -470,7 +469,6 @@ Menu::draw_item(DrawingContext& context, int index)
 
   if(index == active_item)
   {
-    shadow_size = 3;
     text_color = active_color;
   }
 
diff --git a/src/supertux/screen_manager.hpp b/src/supertux/screen_manager.hpp
index 075136515..d885443a6 100644
--- a/src/supertux/screen_manager.hpp
+++ b/src/supertux/screen_manager.hpp
@@ -18,6 +18,7 @@
 #define HEADER_SUPERTUX_SUPERTUX_MAINLOOP_HPP
 
 #include <memory>
+#include <cstddef>
 
 #include "scripting/thread_queue.hpp"
 
-- 
2.11.0