X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;fp=doc%2Fintro.texi;h=16f833a823edf159956022ea6932f287b4b547d3;hb=665b656b19d4616e1a30ce859f05ca98a64f6f05;hp=220b51e746546503079ab488812db1ac740e43e1;hpb=f82b2d2ba814f9247e1dad946b04ecf50939c8c1;p=pintos-anon

diff --git a/doc/intro.texi b/doc/intro.texi
index 220b51e..16f833a 100644
--- 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