Skip to content

Commit

Permalink
entity -> aspect. Fixes #76.
Browse files Browse the repository at this point in the history
  • Loading branch information
David Sankel committed Jan 24, 2020
1 parent 95b6167 commit e95961f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/languagesupport.tex
Original file line number Diff line number Diff line change
Expand Up @@ -980,7 +980,7 @@
with a base characteristic of \tcode{true_type} if
\begin{itemize}
\item \tcode{T1} and \tcode{T2} reflect the same alias, or
\item neither \tcode{T1} nor \tcode{T2} reflect an alias and \tcode{T1} and \tcode{T2} reflect the same entity;
\item neither \tcode{T1} nor \tcode{T2} reflect an alias and \tcode{T1} and \tcode{T2} reflect the same aspect;
\end{itemize}
otherwise, with a base characteristic of \tcode{false_type}.

Expand Down

0 comments on commit e95961f

Please sign in to comment.