diff --git a/src/ui/system.cpp b/src/ui/system.cpp
index 12a3bf59d..777a61761 100644
--- a/src/ui/system.cpp
+++ b/src/ui/system.cpp
@@ -249,18 +249,6 @@ void jmouse_show()
     update_mouse_cursor();
 }
 
-bool jmouse_is_hidden()
-{
-  ASSERT(mouse_scares >= 0);
-  return mouse_scares > 0;
-}
-
-bool jmouse_is_shown()
-{
-  ASSERT(mouse_scares >= 0);
-  return mouse_scares == 0;
-}
-
 void _internal_no_mouse_position()
 {
   update_mouse_overlay(NULL);
diff --git a/src/ui/system.h b/src/ui/system.h
index 54c93f932..6fc598000 100644
--- a/src/ui/system.h
+++ b/src/ui/system.h
@@ -44,9 +44,6 @@ namespace ui {
   void jmouse_hide();
   void jmouse_show();
 
-  bool jmouse_is_hidden();
-  bool jmouse_is_shown();
-
   void _internal_no_mouse_position();
   void _internal_set_mouse_position(const gfx::Point& newPos);
   void _internal_set_mouse_buttons(MouseButtons buttons);