From 92f599fbbcb5b25557df067647f92cbef3491ae0 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sun, 11 Sep 2022 17:46:55 +0300 Subject: [PATCH] FIXED: premature cut in sweep_predicate_location/2 --- sweep.pl | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/sweep.pl b/sweep.pl index 78f5dec..97241d4 100644 --- a/sweep.pl +++ b/sweep.pl @@ -377,13 +377,16 @@ sweep_predicate_references(MFN, Refs) :- sweep_predicate_location(MFN, [Path|Line]) :- - !, term_string(M:F/N, MFN), + !, pi_head(F/N, H), - sweep_predicate_location_(M, H, Path, Line). + ( sweep_predicate_location_(M, H, Path, Line) + -> true + ; sweep_predicate_location_(H, Path, Line) + ). sweep_predicate_location(FN, [Path|Line]) :- - !, term_string(F/N, FN), + !, pi_head(F/N, H), sweep_predicate_location_(H, Path, Line). -- 2.39.2