From 5d999be9988f5f8655e2530eaaa37f557a8432b2 Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Wed, 16 Sep 2020 23:52:27 +0200
Subject: [PATCH] rm redundant redeclaration

---
 src/xspice/icm/dlmain.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/xspice/icm/dlmain.c b/src/xspice/icm/dlmain.c
index 9cd90cf63..be7533ce8 100644
--- a/src/xspice/icm/dlmain.c
+++ b/src/xspice/icm/dlmain.c
@@ -70,10 +70,6 @@ extern CM_EXPORT void *CMudns(void);
 extern CM_EXPORT void *CMudnNum(void);
 extern CM_EXPORT void *CMgetCoreItfPtr(void);
 
-extern void *tmalloc(size_t num);
-extern void *trealloc(const void *str, size_t num);
-extern void txfree(const void *ptr);
-
 
 // This one returns the device table
 CM_EXPORT void *CMdevs(void) {