From 181742084d3008fa5ab23ace57e8fa2ddfabc918 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Wed, 31 May 2023 12:21:03 +0200 Subject: Extended implementation --- src/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/main.c') diff --git a/src/main.c b/src/main.c index 2403e47..8f193df 100644 --- a/src/main.c +++ b/src/main.c @@ -55,7 +55,7 @@ int main(int argc, char *argv[]) parse_blc(&term); free(orig_term); - blind_check(); + // sharing_query(a, b); map_destroy(); return 0; -- cgit v1.2.3