]> git.eshelyaron.com Git - sweep.git/commitdiff
FIXED: correctly recognize "public" head terms
authorEshel Yaron <me@eshelyaron.com>
Fri, 28 Oct 2022 16:05:32 +0000 (19:05 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sat, 5 Nov 2022 17:50:26 +0000 (19:50 +0200)
sweeprolog.el

index 51c4c44f5f4d62ffa59c98059f9a514c0e69a623..9208b53e930c3bb0a0624f3f11f1263c35761914 100644 (file)
@@ -1686,7 +1686,7 @@ When non-nil, only predicates whose name contains PREFIX are returned."
      (list (list beg end (sweeprolog-head-imported-face))))
     (`("head" ,(rx "extern(") . ,_)
      (list (list beg end (sweeprolog-head-extern-face))))
-    (`("head" ,(rx "public(") . ,_)
+    (`("head" ,(rx "public ") . ,_)
      (list (list beg end (sweeprolog-head-public-face))))
     (`("head",(rx "dynamic ") ,f ,a)
      (add-to-list 'sweeprolog--exportable-predicates (concat f "/" (number-to-string a)))