improve memory allocator

[nbds] / runtime / rlocal.h

diff --git a/runtime/rlocal.h b/runtime/rlocal.h
index 1c727bb7bdaf233b9195257ecac26ccd4843b417..d6e90fac4b608fabb4eb6e41943e173f77174df7 100644 (file)
--- a/runtime/rlocal.h
+++ b/runtime/rlocal.h
@@ -4,8 +4,7 @@
 #include "runtime.h"
 #include "tls.h"
 
 #include "runtime.h"
 #include "tls.h"
 

-void mem_init (void);
-

 void rcu_thread_init (int thread_id);
 void lwt_thread_init (int thread_id);
 void rcu_thread_init (int thread_id);
 void lwt_thread_init (int thread_id);

+

 #endif//RLOCAL_H 
 #endif//RLOCAL_H