From 246aa0ffdc425860d1cc4c07f0f1aaa6984becb0 Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Wed, 15 Mar 2017 22:49:38 +0100
Subject: [PATCH] [dcl.init.list] Replace misuse of \grammarterm with \defn

---
 source/declarators.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/declarators.tex b/source/declarators.tex
index a52491d35d..368bc04064 100644
--- a/source/declarators.tex
+++ b/source/declarators.tex
@@ -3698,7 +3698,7 @@
 List-initialization can occur in direct-initialization or copy-initialization contexts;
 list-initialization in a direct-initialization context is called
 \grammarterm{direct-list-initialization} and list-initialization in a
-copy-initialization context is called \grammarterm{copy-list-initialization}. \begin{note}
+copy-initialization context is called \defn{copy-list-initialization}. \begin{note}
 List-initialization can be used
 
 \begin{itemize}