Typo fixes found by Godmar Back's TA.

[pintos-anon] / doc / intro.texi

diff --git a/doc/intro.texi b/doc/intro.texi
index 220b51e746546503079ab488812db1ac740e43e1..16f833a823edf159956022ea6932f287b4b547d3 100644 (file)
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -264,7 +264,7 @@ using @option{-h}, e.g.@: @code{pintos -h}.
 @node Debugging versus Testing
 @subsection Debugging versus Testing
 
-When you're debugging code, it's useful to be able to be able to run a
+When you're debugging code, it's useful to be able to run a
 program twice and have it do exactly the same thing.  On second and
 later runs, you can make new observations without having to discard or
 verify your old observations.  This property is called