many smaller updates

[phd-thesis.git] / dsl / .chktexrc

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