Mercurial > cpdt > repo

changeset 232:d1e0a6d8eef1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix typo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Nov 2009 07:54:38 -0500
parents bc0f515a929f
children f15f7c4eebfe
files src/MoreDep.v
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/MoreDep.v	Mon Nov 23 12:41:14 2009 -0500
+++ b/src/MoreDep.v	Tue Nov 24 07:54:38 2009 -0500
@@ -121,7 +121,7 @@
  
 ]]
 
-Unlike in ML, we cannot use inexhaustive pattern matching, becuase there is no conception of a %\texttt{%#<tt>#Match#</tt>#%}% exception to be thrown.  We might try using an [in] clause somehow.
+Unlike in ML, we cannot use inexhaustive pattern matching, because there is no conception of a %\texttt{%#<tt>#Match#</tt>#%}% exception to be thrown.  We might try using an [in] clause somehow.
 
 [[
 Definition hd n (ls : ilist (S n)) : A :=