From dd58b07949830a9143e6f9b3ce173a207d128544 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sun, 19 Nov 2023 12:37:29 +0100
Subject: [PATCH] Initialize the new mutex vecreallocMutex

---
 src/sharedspice.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/sharedspice.c b/src/sharedspice.c
index 1563e040f..523f1c2bf 100644
--- a/src/sharedspice.c
+++ b/src/sharedspice.c
@@ -860,16 +860,19 @@ ngSpice_Init(SendChar* printfcn, SendStat* statusfcn, ControlledExit* ngspiceexi
     pthread_mutex_init(&triggerMutex, NULL);
     pthread_mutex_init(&allocMutex, NULL);
     pthread_mutex_init(&fputsMutex, NULL);
+    pthread_mutex_init(&vecreallocMutex, NULL);
     cont_condition = FALSE;
 #else
 #ifdef SRW
     InitializeSRWLock(&triggerMutex);
     InitializeSRWLock(&allocMutex);
     InitializeSRWLock(&fputsMutex);
+    InitializeSRWLock(&vecreallocMutex);
 #else
     InitializeCriticalSection(&triggerMutex);
     InitializeCriticalSection(&allocMutex);
     InitializeCriticalSection(&fputsMutex);
+    InitializeCriticalSection(&vecreallocMutex);
 #endif
 #endif
     // Id of primary thread