]> git.eshelyaron.com Git - dict.git/commitdiff
FIXED: (sweep--colourise): handle the dict_content color term
authorEshel Yaron <me@eshelyaron.com>
Mon, 19 Sep 2022 09:15:28 +0000 (12:15 +0300)
committerEshel Yaron <me@eshelyaron.com>
Mon, 19 Sep 2022 09:15:28 +0000 (12:15 +0300)
sweep.el

index 0b41fd227ab0fa0f42d18b48b73f88979fb4d453..f4a92156797826625a8d66eb1eaa85a261422826 100644 (file)
--- 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)