From 6e8596cc1a259169b173d617a0135daa8ae1cb45 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Tue, 31 Jan 2023 06:05:19 +0100 Subject: Fixed building/syncing --- src/main.c | 1 + src/parse.c | 3 ++- src/term.c | 3 ++- 3 files changed, 5 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/main.c b/src/main.c index 431d8a5..024cc7a 100644 --- a/src/main.c +++ b/src/main.c @@ -1,4 +1,5 @@ #include + #include #include diff --git a/src/parse.c b/src/parse.c index 00fd498..495f55f 100644 --- a/src/parse.c +++ b/src/parse.c @@ -1,9 +1,10 @@ // Just for debugging purposes // -> parses custom bruijn syntax +#include + #include #include -#include static struct term *rec(const char **term) { diff --git a/src/term.c b/src/term.c index f288653..746c6f7 100644 --- a/src/term.c +++ b/src/term.c @@ -1,7 +1,8 @@ -#include #include #include +#include + struct term *new_term(term_type type) { struct term *term = calloc(1, sizeof(*term)); -- cgit v1.2.3