From dcb5c946028f12e6fabe24bba024a3b68a156458 Mon Sep 17 00:00:00 2001
From: regnat <rg@regnat.ovh>
Date: Tue, 11 Apr 2017 09:20:07 +0200
Subject: [PATCH] Make chktex happy on the header

---
 common/header.tex  | 6 +++---
 typing/records.tex | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/common/header.tex b/common/header.tex
index 8f22eff..69a81fd 100644
--- a/common/header.tex
+++ b/common/header.tex
@@ -15,7 +15,7 @@
 
 \usepackage{listings}
 \lstset{%
-  escapeinside={(*}{*)}
+  escapeinside={//*}{*//}
   }
 
 \usepackage{hyperref}
@@ -76,8 +76,8 @@
 \newcommand{\subtype}{\leq}
 \newcommand{\onerec}{\{ \textbf{..} \}}
 \DeclareCollectionInstance{plainmath}{xfrac}{mathdefault}{math}
-{
-  slash-symbol = \sslash
+{%
+  slash-symbol = \sslash{}
 }
 \newcommand{\ofTypeP}[2]{\UseCollection{xfrac}{plainmath}\sfrac{#1}{#2}}
 
diff --git a/typing/records.tex b/typing/records.tex
index 3076078..bd58547 100644
--- a/typing/records.tex
+++ b/typing/records.tex
@@ -120,7 +120,7 @@ operator, so that the litteral expression
 is syntactic sugar for
 
 \begin{lstlisting}
-{ x1 = e1; } (*$\orthplus$*) ... (*$\orthplus$*) { xn = en; }
+{ x1 = e1; } //*$\orthplus$*// ... //*$\orthplus$*// { xn = en; }
 \end{lstlisting}
 
 We also define a $\orthsum_t$ (orthogonal merge) operator between record type