From 4329a4d27a08fe10fff153f900571da3428d35a0 Mon Sep 17 00:00:00 2001
From: OLSSON Hans <Hans.Olsson@3ds.com>
Date: Wed, 11 May 2022 16:58:20 +0200
Subject: [PATCH] Proper use of "may". Closes #3165

---
 chapters/interface.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapters/interface.tex b/chapters/interface.tex
index f2a131533..07a89ca32 100644
--- a/chapters/interface.tex
+++ b/chapters/interface.tex
@@ -37,7 +37,7 @@ \section{Interface Terminology}\label{interface-terminology}
 \par
 \begin{nonnormative*}
 E.g., if \lstinline!B! has a declaration \lstinline!Real x!, this declaration must also be present in \lstinline!A!.
-If \lstinline!A! has a declaration \lstinline!Real y!, this declaration must not be present in \lstinline!B!.
+If \lstinline!A! has a declaration \lstinline!Real y!, this declaration may be present in \lstinline!B!.
 \end{nonnormative*}
 \end{definition}