From 28170f629ff35094f4f14c33c2c32f1ab5add9a0 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Mon, 19 Sep 2022 12:15:28 +0300 Subject: [PATCH] FIXED: (sweep--colourise): handle the dict_content color term --- sweep.el | 1 + 1 file changed, 1 insertion(+) diff --git a/sweep.el b/sweep.el index 0b41fd2..f4a9215 100644 --- a/sweep.el +++ b/sweep.el @@ -841,6 +841,7 @@ module name, F is a functor name and N is its arity." ("list" nil) ("grammar_rule" nil) ("dict" nil) + ("dict_content" nil) ("brace_term" nil) ("rule_condition" nil) ("exported_operator" nil) -- 2.39.2