Proper use of "may".

Closes modelica#3165
henrikt-ma · May 11, 2022 · 4329a4d · 4329a4d
1 parent bc13d9f
commit 4329a4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}