1 files changed, 0 insertions, 34 deletions
diff --git a/src/include/wct.H1 b/src/include/wct.H1
deleted file mode 100644
index 1f403594..00000000
--- a/src/include/wct.H1
+++ /dev/null
@@ -1,34 +0,0 @@
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-extern time_t ftime(char * );
-extern void fatal(char *  , char * );
-extern off_t fsize(char * );
-extern Wix * scanWct(Wct *  , char * );
-extern void reintern1Wct(Wct * );
-extern Wix * rescanWct(void);
-extern void skimWct(Wct * );
-extern void skim1Wct(Wct * );
-extern void printTime(long * );
-extern int skimString(char *  , int  , int  , int );
-extern int prChar(int );
-extern Wct * reread1Wct(Wct * );
-extern void sfatal(char * );
-extern Wct * read1Wct(char * );
-extern Wct * nconcWct(Wct *  , Wct * );
-extern void sortWct(Wct * );
-extern void sort1Wct(Wct * );
-extern int mystrcmp(const void  *  , const void * );
-extern void burstWct(Wct * );
-extern void burst1Wct(Wct * );
-extern Wct * intern1Wct(char * );
-extern void load_wct_file(char * );
-extern void  skim_wct(void);
-extern void  rescan_wct(void);
-extern void  find_wct(void);
-
-
-#ifdef __cplusplus
-}
-#endif