diff options
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; |