X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshotimp.h;h=ce7bb3188872881237da09e705f0b625bdc2744c;hb=06d9618fd028c3d5a60c65ad6508cfae24741688;hp=6b58ed7ed227256325e4b8ab237169d068d1a68b;hpb=8f0129627c5ba0b54b81f330abdba93bd8380fc0;p=model-checker.git

diff --git a/snapshotimp.h b/snapshotimp.h
index 6b58ed7..ce7bb31 100644
--- a/snapshotimp.h
+++ b/snapshotimp.h
@@ -57,8 +57,8 @@ struct SnapShot {
 extern struct SnapShot * snapshotrecord;
 #else
 struct Snapshot {
-char *mSharedMemoryBase;
-char *mStackBase;
+void *mSharedMemoryBase;
+void *mStackBase;
 size_t mStackSize;
 snapshot_id mIDToRollback;
 ucontext_t mContextToRollback;