under 5 pages!

[pintos-anon] / sigcse2009 / abstract.tex

diff --git a/sigcse2009/abstract.tex b/sigcse2009/abstract.tex
index 2656271fa21a92a272bd987aae7267d074359686..b472f73d33aa6688696ff4a4ef45810300b222c5 100644 (file)
--- a/sigcse2009/abstract.tex
+++ b/sigcse2009/abstract.tex
@@ -2,7 +2,7 @@ Pintos is an instructional operating system, complete with documentation
 and ready-made, structured assignments that introduce students to
 the principles of multi-programming, scheduling, virtual memory,
 and file systems.  By allowing students to run their work product on
-actual hardware, while simultaneously benefiting from the debugging
+actual hardware, while simultaneously benefiting from debugging
 and dynamic analysis tools provided in simulated and emulated environments,
 Pintos increases student engagement.  Unlike tailored versions of
 commercial or open source OS such as Linux, Pintos is designed from the