diff options
author | Marvin Borner | 2023-05-31 12:21:03 +0200 |
---|---|---|
committer | Marvin Borner | 2023-05-31 13:05:26 +0200 |
commit | 181742084d3008fa5ab23ace57e8fa2ddfabc918 (patch) | |
tree | f35751918c1dc7d151fcfacba16444a976a10811 /src/main.c | |
parent | cbd21e1da0d763225e7ea3594d4e6d8e96863790 (diff) |
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; |