From 98dd54ab497988dee8886d37ab765069c1e8b0c8 Mon Sep 17 00:00:00 2001
From: Eelis van der Weegen <eelis@eelis.net>
Date: Sat, 17 Nov 2018 21:11:41 +0100
Subject: [PATCH] Replace a \term with a \defn.

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

diff --git a/source/utilities.tex b/source/utilities.tex
index dc3a0f4406..aae41a4dd9 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -16437,7 +16437,7 @@
 be \oldconcept{DefaultConstructible}, \oldconcept{CopyConstructible},
 and publicly and unambiguously derived, directly or
 indirectly, from
-its \term{base characteristic}, which is a specialization
+its \defn{base characteristic}, which is a specialization
 of the template
 \linkx{\tcode{integral_constant}}{\idxcode{integral_constant}}{meta.help}, with
 the arguments to the template \tcode{integral_constant} determined by the