From 95504756392816c3f3eb2f84a9062f4ab7748825 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Wed, 22 Jan 2025 23:36:27 +0100
Subject: [PATCH] Wed 22 Jan 23:36:03 CET 2025

---
 include/library/stdlib.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/include/library/stdlib.h b/include/library/stdlib.h
index 875e077..b34df25 100644
--- a/include/library/stdlib.h
+++ b/include/library/stdlib.h
@@ -3,4 +3,7 @@
 
 void exit( int code );
 
+#ifdef LIBRARY_STDLIB_EXT
+  #include "library_stdlib_ext.h"
+#endif
 #endif