# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1259067278 18000
# Node ID d1e0a6d8eef1d36acf4adc64b2fe7910c30ed68d
# Parent  bc0f515a929f268065e84212eb0922822785388e
Fix typo

diff -r bc0f515a929f -r d1e0a6d8eef1 src/MoreDep.v
--- 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 :=