2 files changed, 5 insertions, 19 deletions
diff --git a/src/include/cctk_ActiveThorns.h b/src/include/cctk_ActiveThorns.h
index f0eb6e7a..968402b6 100644
--- a/src/include/cctk_ActiveThorns.h
+++ b/src/include/cctk_ActiveThorns.h
@@ -29,6 +29,11 @@ t_sktree *CCTK_ImpThornList (const char *imp);
 const char *CCTK_ThornImplementation(const char *name);
 const char *CCTK_ImplementationThorn(const char *name);
 
+int CCTK_NumCompiledThorns(void);
+int CCTK_NumCompiledImplementations(void);
+const char *CCTK_CompiledThorn(int index);
+const char *CCTK_CompiledImplementation(int index);
+
 #ifdef __cplusplus 
 }
 #endif
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