X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpage-separators.h;h=cbc32ee15e9886a2ab6661f214ad1c704c8a564c;hb=a232eb40325b126daabcdf28ca54da794bd6a29f;hp=273bcaab722949e2a8cc7da6cbe36f3e9f5516bd;hpb=ddf35b11f8525281dd9e524a5d322a80bf56a24f;p=pspp

diff --git a/src/ui/gui/page-separators.h b/src/ui/gui/page-separators.h
index 273bcaab72..cbc32ee15e 100644
--- a/src/ui/gui/page-separators.h
+++ b/src/ui/gui/page-separators.h
@@ -20,7 +20,10 @@
 
 struct separators_page;
 struct import_assistant;
+struct string;
 
 struct separators_page *separators_page_create (struct import_assistant *ia);
+void  separators_append_syntax (const struct import_assistant *ia, struct string *s);
+
 
 #endif