From 5c9a7723efebe10cbdcb9ff3b76f91994d5f7e8c Mon Sep 17 00:00:00 2001
From: Nick Gasson <nick@nickg.me.uk>
Date: Thu, 4 Apr 2024 20:07:56 +0100
Subject: [PATCH] Do not advertise PSL support since it is not yet complete.
 Issue #834

---
 src/lexer.l | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/lexer.l b/src/lexer.l
index 7951c4b3..1f8f6128 100644
--- a/src/lexer.l
+++ b/src/lexer.l
@@ -618,8 +618,9 @@ static bool begin_psl_comment(void)
    if (opt_get_int(OPT_PSL_COMMENTS))
       return true;
    else if (!printed) {
-      note_at(&yylloc, "pass $bold$--psl$$ to enable parsing of PSL "
-              "directives in comments");
+      // TODO: enable this once PSL support is complete
+      // note_at(&yylloc, "pass $bold$--psl$$ to enable parsing of PSL "
+      //   "directives in comments");
       printed = true;
       return false;
    }
-- 
2.39.2