snapshot: edit capitalization in comment
[model-checker.git] / snapshot.cc
index 1cc3255bbbe057ebc2a68037ad58877eb2052f22..193126862a3c1f8a9eea436f4dcac5fe2afbd86a 100644 (file)
@@ -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;