diff --git a/.chktexrc b/.chktexrc index 7025788..d1fd2ad 100644 --- a/.chktexrc +++ b/.chktexrc @@ -1,4 +1,4 @@ # Exclude these environments from syntax checking -VerbEnvir { pgfpicture tikzpicture mzn grammar proof } +VerbEnvir { pgfpicture tikzpicture mzn nzn grammar proof } -WipeArg { \mzninline:{} \Sem:{} \texttt:{} } +WipeArg { \mzninline:{} \nzninline:{} \Sem:{} \texttt:{} }