X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Finpt-pgm.h;h=d6c5bbd63d73290d305117bf4480bc74f7b01bae;hb=60c545e6e958d868db3399a8989d37d8f9e0c131;hp=cac4d9b6d709b978f827e0dc60f122703cd803cf;hpb=339f1956cc727eda788638644ef93ab7852b31cd;p=pspp

diff --git a/src/language/data-io/inpt-pgm.h b/src/language/data-io/inpt-pgm.h
index cac4d9b6d7..d6c5bbd63d 100644
--- a/src/language/data-io/inpt-pgm.h
+++ b/src/language/data-io/inpt-pgm.h
@@ -20,6 +20,7 @@
 #include <stdbool.h>
 
 bool in_input_program (void);
-void cancel_input_program (void);
+
+void data_list_seen (void);
 
 #endif /* inpt-pgm.h */