diff options
Diffstat (limited to 'lang/mozart/files/patch-platform-emulator-mem.hh')
| -rw-r--r-- | lang/mozart/files/patch-platform-emulator-mem.hh | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/lang/mozart/files/patch-platform-emulator-mem.hh b/lang/mozart/files/patch-platform-emulator-mem.hh deleted file mode 100644 index a6326781a50e..000000000000 --- a/lang/mozart/files/patch-platform-emulator-mem.hh +++ /dev/null @@ -1,32 +0,0 @@ ---- ./platform/emulator/mem.hh.orig Tue May 6 04:56:47 2003 -+++ ./platform/emulator/mem.hh Sat Sep 3 18:46:09 2005 -@@ -11,8 +11,8 @@ - * Organization or Person (Year(s)) - * - * Last change: -- * $Date: 2003/05/06 08:56:47 $ by $Author: popow $ -- * $Revision: 1.94 $ -+ * $Date: 2005/01/30 10:36:54 $ by $Author: glynn $ -+ * $Revision: 1.94.8.1 $ - * - * This file is part of Mozart, an implementation - * of Oz 3: -@@ -125,8 +125,7 @@ - * - */ - -- retry: -- { -+ while(TRUE) { - Assert(oz_isHeapAligned(_oz_heap_cur)); - size_t a_sz = oz_alignSize(sz); - -@@ -142,7 +141,7 @@ - /* _oz_heap_cur might be negative!! */ - if (((unsigned long) _oz_heap_end) > ((unsigned long) _oz_heap_cur)) { - _oz_getNewHeapChunk(a_sz); -- goto retry; -+ continue; - } - - return (void*) _oz_heap_cur; |