diff --git a/src/screen.c b/src/screen.c
index 72a7dc5c..b723125e 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -873,7 +873,7 @@ void wScreenSaveState(WScreen * scr)
 		}
 	}
 
-	wWorkspaceSaveState(scr, old_state);
+	wWorkspaceSaveState(old_state);
 
 	if (!wPreferences.flags.nodrawer) {
 		wDrawersSaveState(scr);
diff --git a/src/workspace.c b/src/workspace.c
index 5cf3863d..10c348d8 100644
--- a/src/workspace.c
+++ b/src/workspace.c
@@ -798,7 +798,7 @@ void wWorkspaceMenuUpdate(WMenu *menu)
 	wMenuPaint(menu);
 }
 
-void wWorkspaceSaveState(WScreen * scr, WMPropList * old_state)
+void wWorkspaceSaveState(WMPropList * old_state)
 {
 	WMPropList *parr, *pstr, *wks_state, *old_wks_state, *foo, *bar;
 	int i;
diff --git a/src/workspace.h b/src/workspace.h
index 23989890..28191a2b 100644
--- a/src/workspace.h
+++ b/src/workspace.h
@@ -38,7 +38,7 @@ void wWorkspaceForceChange(WScreen *scr, int workspace);
 WMenu *wWorkspaceMenuMake(WScreen *scr, Bool titled);
 void wWorkspaceMenuUpdate(WMenu *menu);
 void wWorkspaceMenuEdit(WScreen *scr);
-void wWorkspaceSaveState(WScreen *scr, WMPropList *old_state);
+void wWorkspaceSaveState(WMPropList *old_state);
 void wWorkspaceRestoreState(WScreen *scr);
 void wWorkspaceRename(WScreen *scr, int workspace, const char *name);
 void wWorkspaceRelativeChange(WScreen *scr, int amount);