Supposedly streameing

[lambda.git] / lambda.h

diff --git a/lambda.h b/lambda.h
index 457e5cf..8256f04 100644 (file)
--- a/lambda.h
+++ b/lambda.h
@@ -37,7 +37,5 @@ struct lambda *make_abstraction(char *, struct lambda *);
 struct lambda *make_application(struct lambda *, struct lambda *);
 struct lambda *make_numeral(unsigned int i);
 struct lambda *make_bool(bool b);
-void decls_free();
-void decls_print();
 #define YYSTYPE struct lambda *
 #endif