X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=dsl%2F.chktexrc;h=538fd6723e94242823919a9dec7830538e9c6bd3;hb=b460fb90ed81b62d4b1c219271e29ece38c1ffab;hp=e62adec8843e6ffa03b5b3df30a18aa62de7340e;hpb=b20c3c8a47ab555186a270a120f23bed6ca79b38;p=phd-thesis.git

diff --git a/dsl/.chktexrc b/dsl/.chktexrc
index e62adec..538fd67 100644
--- a/dsl/.chktexrc
+++ b/dsl/.chktexrc
@@ -9,7 +9,7 @@ WipeArg {
 	\cleaninline:{}
 	\pythoninline:{}
 	\haskellinline:{}
-	\haskelllshtexinline:{}
+	\haskelllhstexinline:{}
 	\arduinoinline:{}
 	\texttt:{}
 	\url:{}