From: Brian Norris <banorris@uci.edu>
Date: Thu, 3 Jan 2013 02:33:58 +0000 (-0800)
Subject: snapshot: edit capitalization in comment
X-Git-Tag: oopsla2013~391
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ec0013257367b2aa67ec1b6e674774c5698882a8;p=model-checker.git

snapshot: edit capitalization in comment
---

diff --git a/snapshot.cc b/snapshot.cc
index 1cc3255..1931268 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -25,7 +25,7 @@ static void * PageAlignAddressUpward(void *addr)
 
 #if USE_MPROTECT_SNAPSHOT
 
-/* Each snapshotrecord lists the firstbackingpage that must be written to
+/* Each SnapShotRecord lists the firstbackingpage that must be written to
  * revert to that snapshot */
 struct SnapShotRecord {
 	unsigned int firstBackingPage;