1 files changed, 0 insertions, 19 deletions
diff --git a/src/include/cctki_ActiveThorns.h b/src/include/cctki_ActiveThorns.h
index e3a33cd4..13568a79 100644
--- a/src/include/cctki_ActiveThorns.h
+++ b/src/include/cctki_ActiveThorns.h
@@ -23,25 +23,6 @@ int CCTKi_ActivateThorn(const char *name);
 int CCTKi_PrintThorns(FILE *file, const char *format, int active);
 int CCTKi_PrintImps(FILE *file, const char *format, int active);
 
-int CCTKi_ImplementationList
- (
-  int active,
-  char ***list,
-  int *n_implementations
- );
-int CCTKi_ImplementationThornList 
- (
-  const char *imp, 
-  char ***list, 
-  int *n_thorns
- );
-int CCTKi_ThornList
- (
-  int active, 
-  char ***list, 
-  int *n_items
- );
-
 #ifdef __cplusplus 
 }
 #endif