From c6e6a1562d6949d99b007543c1f33c9c7cd3cacb Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Wed, 23 Nov 2022 10:40:12 +0200 Subject: [PATCH] FIXED: instantiation error in color term normalization --- sweep.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sweep.pl b/sweep.pl index 304b111..3314f57 100644 --- a/sweep.pl +++ b/sweep.pl @@ -490,7 +490,7 @@ sweep_color_normalized_(_, hook, [Kind0|_], ["hook"|Kind]) :- atom_string(Kind0, Kind). sweep_color_normalized_(_, module, [M0|_], ["module"|M]) :- !, - atom_string(M0, M). + term_string(M0, M). sweep_color_normalized_(_, qq_content, [Type0|_], ["qq_content"|Type]) :- !, atom_string(Type0, Type). -- 2.39.2