use debruijn indexing

[lambda.git] / reduce.h

diff --git a/reduce.h b/reduce.h
index 833c7a9..f90a051 100644 (file)
--- a/reduce.h
+++ b/reduce.h
@@ -3,5 +3,5 @@
 
 #include "lambda.h"
 
-void lambda_reduce(struct lambda **t, struct lambda **total, int *maxdepth);
+bool lambda_reduce(struct lambda **t, struct lambda **total, bool applicative);
 #endif