diff options
author | Marvin Borner | 2023-05-30 23:05:30 +0200 |
---|---|---|
committer | Marvin Borner | 2023-05-30 23:33:39 +0200 |
commit | cbd21e1da0d763225e7ea3594d4e6d8e96863790 (patch) | |
tree | dae4242584e178b59337ca247aa532805af0d8d0 /src/main.c | |
parent | e78acdabd1436083c503a5f1860ecdf14f3ee1bd (diff) |
Added hash-based approach
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -6,6 +6,8 @@ #include <errno.h> #include <string.h> +#include <sharing.h> +#include <map.h> #include <parse.h> #include <log.h> @@ -47,14 +49,14 @@ int main(int argc, char *argv[]) fatal("usage: %s <file>\n", argc ? argv[0] : "sharing"); char *term = read_path(argv[1]); + map_initialize(); char *orig_term = term; - struct term *parsed = parse_blc(&term); + parse_blc(&term); free(orig_term); - term_print(parsed); - fprintf(stderr, "\n"); + blind_check(); - term_free(parsed); + map_destroy(); return 0; } |