From 3cf3c02c1fc419e313d65933217cc441d13c629f Mon Sep 17 00:00:00 2001
From: Christophe Garion <tofgarion@runbox.com>
Date: Mon, 24 Feb 2020 16:49:44 +0100
Subject: [PATCH] my-listings: black identifiers for ADT
---
my-listings.sty | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/my-listings.sty b/my-listings.sty
index de029c2..cb5dc30 100644
--- a/my-listings.sty
+++ b/my-listings.sty
@@ -80,7 +80,8 @@
}
\lstdefinelanguage{ADT}{
- morekeywords={sorts, operations, equations, preconditions},
+ morekeywords={sorts, operations, equations, preconditions},,
+ identifierstyle=\color{black},
mathescape=true
}
--
GitLab