From 45055121918eff33d88da9c27fb3d87561fbedb5 Mon Sep 17 00:00:00 2001
From: regnat <rg@regnat.ovh>
Date: Fri, 7 Apr 2017 11:49:23 +0200
Subject: [PATCH] grammar: visual fix

---
 grammar/grammar.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/grammar/grammar.tex b/grammar/grammar.tex
index 69ba0e9..ad8ad66 100644
--- a/grammar/grammar.tex
+++ b/grammar/grammar.tex
@@ -5,7 +5,7 @@
 
 \maketitle{}
 
-\par{expressions}
+\section{expressions}
 
 \begin{grammar}
   \bfseries
@@ -47,7 +47,7 @@
 The grammar for types (\t/) is given in the \texttt{type-system} document.
 
 
-\par{values}
+\section{values}
 
 \begin{grammar}
   \bfseries