GC_INIT() checks if the GC is has already been initialized.
Don't check it a second time.
libga68/ChangeLog:
PR algol68/123733
* ga68-alloc.c (_libga68_init_heap):
Signed-off-by: Pietro Monteiro <[email protected]>
---
libga68/ga68-alloc.c | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/libga68/ga68-alloc.c b/libga68/ga68-alloc.c
index df8a8956c52..0a749cd5984 100644
--- a/libga68/ga68-alloc.c
+++ b/libga68/ga68-alloc.c
@@ -48,11 +48,8 @@ _libga68_malloc_internal (size_t size)
void
_libga68_init_heap (void)
{
- if (!GC_is_init_called ())
- {
- GC_INIT ();
- /* GC_allow_register_threads (); */
- }
+ GC_INIT ();
+ /* GC_allow_register_threads (); */
}
void *
base-commit: 2d626c4eb68a33a13a3d497364c493f3b71fb9e7
--
2.43.0