change printing

[lambda.git] / main.c

diff --git a/main.c b/main.c
index 1899d67..dce43c3 100644 (file)
--- a/main.c
+++ b/main.c
@@ -7,18 +7,9 @@
 #include "print.h"
 #include "mem.h"
 
-extern struct lambda *result;
-
-int main(int argc, char **argv)
+int main()
 {
        int r = yyparse();
-       int maxdepth = 1000;
-       if(r == 0){
-               printf("   ");
-               lambda_print(result);
-               lambda_reduce(result, result, &maxdepth);
-               lambda_free(result);
-       }
-       yylex_destroy();
+       decls_free();
        return r;
 }