change printing

[lambda.git] / main.c

diff --git a/main.c b/main.c
index 4269ff4..dce43c3 100644 (file)
--- a/main.c
+++ b/main.c
@@ -7,20 +7,9 @@
 #include "print.h"
 #include "mem.h"
 
-extern struct lambda *result;
-
 int main()
 {
        int r = yyparse();
-       int maxdepth = 10000;
-       if(r == 0){
-               decls_print();
-               printf("     ");
-               lambda_reduce(result, result, &maxdepth);
-               lambda_print(result, NULL);
-       }
-       yylex_destroy();
-       lambda_free(result);
        decls_free();
        return r;
 }