From a71440b663ddfd849340033809f39b47dcd69ee3 Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Fri, 28 Jul 2017 23:23:26 +0200
Subject: [PATCH] [temp] Add missing semicolon in grammar for
 concept-definition

Fixes  #1686.
---
 source/templates.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/templates.tex b/source/templates.tex
index 522b376f0e..1cf27e3d42 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -49,7 +49,7 @@
 
 \begin{bnf}
 \nontermdef{concept-definition}\br
-  \terminal{concept} concept-name \terminal{=} constraint-expression
+  \terminal{concept} concept-name \terminal{=} constraint-expression \terminal{;}
 \end{bnf}
 
 \begin{bnf}