aboutsummaryrefslogtreecommitdiff
path: root/inc
diff options
context:
space:
mode:
authorMarvin Borner2023-05-31 12:21:03 +0200
committerMarvin Borner2023-05-31 13:05:26 +0200
commit181742084d3008fa5ab23ace57e8fa2ddfabc918 (patch)
treef35751918c1dc7d151fcfacba16444a976a10811 /inc
parentcbd21e1da0d763225e7ea3594d4e6d8e96863790 (diff)
Extended implementationHEADmain
Diffstat (limited to 'inc')
-rw-r--r--inc/sharing.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/sharing.h b/inc/sharing.h
index 7be84f4..6689e2d 100644
--- a/inc/sharing.h
+++ b/inc/sharing.h
@@ -6,6 +6,6 @@
#include <term.h>
-void blind_check(void);
+void sharing_query(struct term *a, struct term *b);
#endif