Defining the interfaces to add various regions to snapshot

[model-checker.git] / mymemory.h

diff --git a/mymemory.h b/mymemory.h
index 481e081e380942bec5333b00a2b3de7bf1ef5404..f2f2c2b852b68f8e3f8076b66753792cc907680a 100644 (file)
--- a/mymemory.h
+++ b/mymemory.h
@@ -18,12 +18,16 @@
 
 void *MYMALLOC(size_t size);
 void MYFREE(void *ptr);
-                                                                                               
+void AddUserHeapToSnapshot();                                                                                          
 /*
 The following code example is taken from the book
 The C++ Standard Library - A Tutorial and Reference
 by Nicolai M. Josuttis, Addison-Wesley, 1999
 © Copyright Nicolai M. Josuttis 1999
+Permission to copy, use, modify, sell and distribute this software
+is granted provided this copyright notice appears in all copies.
+This software is provided "as is" without express or implied
+warranty, and with no claim as to its suitability for any purpose.
 */
 template <class T>
    class MyAlloc {