X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fgoto-case-dialog.h;h=93fb13a464d2aea8fde7d0d9d82abef6cc463263;hb=4246294842a8abedecaaf55aa87507225f03f58c;hp=455e2e637c06ae9977ba34e92df6e155f379e3b9;hpb=d506910e4bc69028c6328d15c005667ad2a0d881;p=pspp

diff --git a/src/ui/gui/goto-case-dialog.h b/src/ui/gui/goto-case-dialog.h
index 455e2e637c..93fb13a464 100644
--- a/src/ui/gui/goto-case-dialog.h
+++ b/src/ui/gui/goto-case-dialog.h
@@ -17,7 +17,9 @@
 #ifndef __GOTO_CASE_DIALOG_H
 #define __GOTO_CASE_DIALOG_H
 
+#include "ui/gui/efficient-sheet/jmd-sheet.h"
 
-void goto_case_dialog (void *ds);
+
+void goto_case_dialog (JmdSheet *ds);
 
 #endif