diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/main.c | 4 | ||||
-rw-r--r-- | src/reduce.c (renamed from src/reducer.c) | 2 | ||||
-rw-r--r-- | src/test.c | 2 |
3 files changed, 4 insertions, 4 deletions
@@ -7,7 +7,7 @@ #include <time.h> #include <stdlib.h> -#include <reducer.h> +#include <reduce.h> #include <gc.h> #include <parse.h> @@ -94,7 +94,7 @@ int main(int argc, char **argv) if (!input) return 1; - struct term *parsed = parse_blc(input); + struct term *parsed = parse_bruijn(input); clock_t begin = clock(); struct term *reduced = reduce(parsed, callback, 0); diff --git a/src/reducer.c b/src/reduce.c index 754a433..44c4d97 100644 --- a/src/reducer.c +++ b/src/reduce.c @@ -6,7 +6,7 @@ #include <stdio.h> #include <string.h> -#include <reducer.h> +#include <reduce.h> #include <murmur3.h> #include <store.h> #include <term.h> @@ -20,7 +20,7 @@ #include <gc.h> #include <parse.h> #include <term.h> -#include <reducer.h> +#include <reduce.h> struct test { struct term *in; |