Skip to content

Commit

Permalink
Replace en-dash by comma before 'then'
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Jul 14, 2020
1 parent 80aec30 commit 46cfda5
Showing 1 changed file with 2 additions and 6 deletions.
8 changes: 2 additions & 6 deletions chapters/interface.tex
Expand Up @@ -418,12 +418,8 @@ \section{Interface Compatibility or Subtyping}\doublelabel{interface-compatibili
\end{itemize}

\begin{nonnormative}
If the original constraining flat class is legal (no references
to unknown elements and no illegal use of class/component), and
modifiers legal as above -- then the resulting flat class will be legal
(no references to unknown elements and no illegal use of class/component
and compatible with original constraining class) and references refer to
similar entities.
If the original constraining flat class is legal (no references to unknown elements and no illegal use of class/component), and modifiers legal as above, then the resulting flat class will be legal
(no references to unknown elements and no illegal use of class/component and compatible with original constraining class) and references refer to similar entities.
\end{nonnormative}

\section{Plug-Compatibility or Restricted Subtyping}\doublelabel{plug-compatibility-or-restricted-subtyping}
Expand Down

0 comments on commit 46cfda5

Please sign in to comment.