X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.h;h=63b82a4a67e14c0f9243c0ab809b39fe3b75c2dd;hb=bc02bc027697df3207f827de722c26d8cc87e824;hp=d0c6d0905c39864387b82ec34c25f5a0c6c9b4ac;hpb=a486e7cbf4f95d19bb208796e4c92a040cf48f65;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.h b/src/ui/gui/data-editor.h
index d0c6d090..63b82a4a 100644
--- a/src/ui/gui/data-editor.h
+++ b/src/ui/gui/data-editor.h
@@ -38,7 +38,7 @@ void new_data_window (GtkMenuItem *, gpointer);
 
 void open_data_window (GtkMenuItem *, gpointer);
 
-void data_editor_select_sheet(struct data_editor *de, gint page);
+void data_editor_select_sheet (struct data_editor *de, gint page);
 
 
 #endif