X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-data-editor.h;h=88d07a811411b78f381ed939d2e19379be316d6b;hb=96994a54e60e9c95b8bba54c2281acf7059b1203;hp=941d7a4997a83b3ee75a3f8367c1962a4558410d;hpb=369c24f1d085a41ec274ebae5fc198fcee567653;p=pspp

diff --git a/src/ui/gui/psppire-data-editor.h b/src/ui/gui/psppire-data-editor.h
index 941d7a4997..88d07a8114 100644
--- a/src/ui/gui/psppire-data-editor.h
+++ b/src/ui/gui/psppire-data-editor.h
@@ -80,7 +80,7 @@ GType          psppire_data_editor_get_type        (void);
 GtkWidget*     psppire_data_editor_new             (PsppireDict *, PsppireDataStore *);
 void           psppire_data_editor_show_grid       (PsppireDataEditor *, gboolean);
 void           psppire_data_editor_set_font        (PsppireDataEditor *, PangoFontDescription *);
-void           psppire_data_editor_split_window    (PsppireDataEditor *, gboolean );
+void           psppire_data_editor_split_window    (PsppireDataEditor *, gboolean);
 
 void psppire_data_editor_goto_variable               (PsppireDataEditor *, gint dict_index);
 void psppire_data_editor_data_delete_variables       (PsppireDataEditor *de);