[re.def] Fix subsection depth for definitions

tkoeppe · tkoeppe · commit 4cdb5b85a190 · 2017-04-07T16:10:16.000+01:00
Fixes #1605.
diff --git a/source/regex.tex b/source/regex.tex
@@ -36,6 +36,9 @@
 
 
 \rSec1[re.def]{Definitions}
+
+\def\definition{\definitionx{\subsection}}%
+
 \pnum
 The following definitions shall apply to this Clause:
 
