From 181742084d3008fa5ab23ace57e8fa2ddfabc918 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Wed, 31 May 2023 12:21:03 +0200 Subject: Extended implementation --- inc/sharing.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'inc') 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 -void blind_check(void); +void sharing_query(struct term *a, struct term *b); #endif -- cgit v1.2.3