X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.h;h=ba91e613b34bf2880b10b8e13ebf7d45b2dd85c9;hb=623631d95f3c2c475be2c0b8a9af8edb7656d90f;hp=b7936d8444e068298e1f456bfc5ae9c8bdc5abd3;hpb=6f66bffd0b774c219883d634586a4565c9e59af5;p=model-checker.git

diff --git a/mymemory.h b/mymemory.h
index b7936d8..ba91e61 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -47,7 +47,7 @@ void * snapshot_malloc(size_t size);
 void * snapshot_calloc(size_t count, size_t size);
 void snapshot_free(void *ptr);
 
-void *system_malloc( size_t size );
+void *system_malloc(size_t size );
 
 /** @brief Provides a non-snapshotting allocator for use in STL classes.
  *
@@ -129,7 +129,7 @@ class ModelAlloc {
 
 /** Return that all specializations of this allocator are interchangeable. */
 template <class T1, class T2>
-bool operator== (const ModelAlloc<T1>&,
+bool operator ==(const ModelAlloc<T1>&,
 		const ModelAlloc<T2>&) throw() {
 	return true;
 }