Commit 80b63d43 authored by Geoffrey Mainland's avatar Geoffrey Mainland

Fix typo

parent 553fafb0
......@@ -7872,8 +7872,8 @@ Wiki page</ulink>.
<itemizedlist>
<listitem><para> an expression; the spliced expression must
have type <literal>Q Exp</literal></para></listitem>
<listitem><para> an type; the spliced expression must
have type <literal>Q Typ</literal></para></listitem>
<listitem><para> a type; the spliced expression must
have type <literal>Q Type</literal></para></listitem>
<listitem><para> a list of top-level declarations; the spliced expression
must have type <literal>Q [Dec]</literal></para></listitem>
</itemizedlist>
......
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