Commit 7e03b5b7 authored by lennart@augustsson.net's avatar lennart@augustsson.net
Browse files

Fix a typo.

parent ecebce99
......@@ -921,7 +921,7 @@ tagToEnumError tys
%************************************************************************
%* *
\subsection{@tcId@ typchecks an identifier occurrence}
\subsection{@tcId@ typechecks an identifier occurrence}
%* *
%************************************************************************
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment