From 7a6a6dd9626baa4bfd51e4547cea75776cc7cd6d Mon Sep 17 00:00:00 2001
From: klueska <klueska>
Date: Mon, 20 Aug 2007 06:20:46 +0000
Subject: [PATCH] Formatting error

---
 doc/html/tutorial/lesson15.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/html/tutorial/lesson15.html b/doc/html/tutorial/lesson15.html
index ca97a581..caed1a9d 100644
--- a/doc/html/tutorial/lesson15.html
+++ b/doc/html/tutorial/lesson15.html
@@ -93,7 +93,7 @@
     <p>
     Currently, only a single buffer is used to store the strings supplied to
     calls to <code>printf</code> before flushing them.  This means that while
-    the buffer is being flushed, any calls to <code>printf</printf> will fail.
+    the buffer is being flushed, any calls to <code>printf</code> will fail.
     In the future, we plan to implement a doubled buffer approach so that
     strings can continue to be buffered at the same time they are being printed.
     </p>
-- 
2.39.2