aboutsummaryrefslogtreecommitdiff
path: root/src/main.c
diff options
context:
space:
mode:
authorMarvin Borner2023-05-31 12:21:03 +0200
committerMarvin Borner2023-05-31 13:05:26 +0200
commit181742084d3008fa5ab23ace57e8fa2ddfabc918 (patch)
treef35751918c1dc7d151fcfacba16444a976a10811 /src/main.c
parentcbd21e1da0d763225e7ea3594d4e6d8e96863790 (diff)
Extended implementationHEADmain
Diffstat (limited to 'src/main.c')
-rw-r--r--src/main.c2
1 files changed, 1 insertions, 1 deletions
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;