From: Farshad Ghanei <farshadg@buffalo.edu>
Date: Wed, 14 Feb 2018 00:45:37 +0000 (-0500)
Subject: doc: Fix typo.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1bc4f6f7b325a177e7ddf0d7039cb5c7921dd721;hp=1bc4f6f7b325a177e7ddf0d7039cb5c7921dd721;p=pintos-anon

doc: Fix typo.

Fixed a type in the Guide, Section E.5 , Subsection E.5.1 Using GDB,
---