From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc-Andr=C3=A9=20Lureau?= <marcandre.lureau@redhat.com>
Date: Mon, 18 Nov 2013 11:28:27 +0100
Subject: [PATCH] clean-up: remove unused function

---
 server/reds.c | 5 -----
 server/reds.h | 1 -
 2 files changed, 6 deletions(-)

diff --git a/server/reds.c b/server/reds.c
index b45c44f..53f21bd 100644
--- a/server/reds.c
+++ b/server/reds.c
@@ -3572,11 +3572,6 @@ uint32_t reds_get_mm_time(void)
     return time_space.tv_sec * 1000 + time_space.tv_nsec / 1000 / 1000;
 }
 
-void reds_update_mm_timer(uint32_t mm_time)
-{
-    red_dispatcher_set_mm_time(mm_time);
-}
-
 void reds_enable_mm_timer(void)
 {
     core->timer_start(reds->mm_timer, MM_TIMER_GRANULARITY_MS);
diff --git a/server/reds.h b/server/reds.h
index 1c5ae84..24b4d95 100644
--- a/server/reds.h
+++ b/server/reds.h
@@ -122,7 +122,6 @@ void reds_handle_channel_event(int event, SpiceChannelEventInfo *info);
 
 void reds_disable_mm_timer(void);
 void reds_enable_mm_timer(void);
-void reds_update_mm_timer(uint32_t mm_time);
 uint32_t reds_get_mm_time(void);
 void reds_set_client_mouse_allowed(int is_client_mouse_allowed,
                                    int x_res, int y_res);