lint (added flushline() interface)

diff --git a/Include/ceval.h b/Include/ceval.h
index 44756b2128d9b32149617338e7da2bf25b7bb6b3..82f834e3fdd13c42d253e5ee60b6be06a2784378 100644 (file)
--- a/Include/ceval.h
+++ b/Include/ceval.h
@@ -33,3 +33,4 @@ object *getglobals PROTO((void));
 object *getlocals PROTO((void));
 
 void printtraceback PROTO((FILE *));
+void flushline PROTO((void));