From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 21 Jul 2006 02:05:37 +0000 (+0000)
Subject: Improve comment on sema_down.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de76134e7b5d21ba0551657bbfc0dbb24e3c2312;hp=de76134e7b5d21ba0551657bbfc0dbb24e3c2312;p=pintos-anon

Improve comment on sema_down.
Thanks to Haobo Xu for pointing this out.
---