X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpage-intro.h;h=87848abb4ca8934f8c7587e35da8a18da95e608a;hb=0a2ee97da7736d31c23b6b2cac91303b925dab50;hp=d0de8bfad4c1c0f32167f6a9be7ff6a1c1679a06;hpb=ddf35b11f8525281dd9e524a5d322a80bf56a24f;p=pspp

diff --git a/src/ui/gui/page-intro.h b/src/ui/gui/page-intro.h
index d0de8bfad4..87848abb4c 100644
--- a/src/ui/gui/page-intro.h
+++ b/src/ui/gui/page-intro.h
@@ -19,8 +19,10 @@
 
 struct intro_page;
 struct import_assistant;
+struct string;
 
 struct intro_page *intro_page_create (struct import_assistant *ia);
+void intro_append_syntax (const struct intro_page *p, struct string *s);
 
 
 #endif