# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1319554291 14400
# Node ID f3154417cd41cb384905eee2516e35b14432fb43
# Parent  36a08cad92457e8a9eced5c53c3d1d83c9f76b18
Typo fix in template comment

diff -r 36a08cad9245 -r f3154417cd41 src/Coinductive.v
--- a/src/Coinductive.v	Sun Oct 23 14:48:52 2011 -0400
+++ b/src/Coinductive.v	Tue Oct 25 10:51:31 2011 -0400
@@ -66,7 +66,7 @@
 
 (** Co-inductive values are fair game as arguments to recursive functions, and we can use that fact to write a function to take a finite approximation of a stream. *)
 
-(* EX: Defint a function to calculate a finite approximation of a stream, to a particular length. *)
+(* EX: Define a function to calculate a finite approximation of a stream, to a particular length. *)
 (* begin thide *)
 
 Fixpoint approx A (s : stream A) (n : nat) : list A :=