rocksndiamonds-3.1.2

[rocksndiamonds.git] / src / tools.c

diff --git a/src/tools.c b/src/tools.c
index 883a670f9993dcfa3ca8e10e0de7bc58b04a2aaa..eedf5d60284157f4aa9c79b60d0d49ff43cde1ad 100644 (file)
--- a/src/tools.c
+++ b/src/tools.c
@@ -425,12 +425,6 @@ void FadeToFront()
   BackToFront();
 }
 
-void SetMainBackgroundImageIfDefined(int graphic)
-{
-  if (graphic_info[graphic].bitmap)
-    SetMainBackgroundImage(graphic);
-}
-
 void SetMainBackgroundImage(int graphic)
 {
   SetMainBackgroundBitmap(graphic == IMG_UNDEFINED ? NULL :