diff --git a/C/userpreds.c b/C/userpreds.c index d0f236725..e7cfa2a29 100644 --- a/C/userpreds.c +++ b/C/userpreds.c @@ -703,7 +703,8 @@ p_softfunctor() #endif /* SFUNC */ #include -* + +/* static Int p_matching_distances(void) {