1 files changed, 0 insertions, 65 deletions
diff --git a/src/runtime/c/gfcc-term.h b/src/runtime/c/gfcc-term.h
deleted file mode 100644
index d1307259d..000000000
--- a/src/runtime/c/gfcc-term.h
+++ /dev/null
@@ -1,65 +0,0 @@
-#ifndef GFCC_TERM_H
-#define GFCC_TERM_H
-
-#include <stdio.h>
-
-typedef enum {
-	/* size = variable */
-	TERM_ARRAY,
-	TERM_SEQUENCE,
-	TERM_VARIANTS,
-	TERM_GLUE,
-	/* size = 2 */
-	TERM_RECORD_PARAM,
-	TERM_SUFFIX_TABLE,
-	/* size = 0 */
-	TERM_META,
-	TERM_STRING,
-	TERM_INTEGER
-} TermType;
-
-struct Term_ {
-	TermType type;
-	union {
-		const char *string_value;
-		int integer_value;
-		int size;
-	} value;
-	struct Term_ *args[0];
-};
-
-typedef struct Term_ Term;
-
-
-
-static inline Term *term_get_child(Term *t, int n) {
-	return t->args[n];
-}
-
-static inline void term_set_child(Term *t, int n, Term *c) {
-	t->args[n] = c;
-}
-
-extern void term_alloc_pool(size_t size);
-extern void term_free_pool();
-extern void *term_alloc(size_t size);
-
-
-extern Term *term_array(int n, ...);
-extern Term *term_seq(int n, ...);
-extern Term *term_variants(int n, ...);
-extern Term *term_glue(int n, ...);
-
-extern Term *term_rp(Term *t1, Term *t2);
-extern Term *term_suffix(const char *pref, Term *suf);
-extern Term *term_str(const char *s);
-extern Term *term_int(int i);
-extern Term *term_meta();
-
-extern Term *term_sel_int(Term *t, int i);
-extern Term *term_sel(Term *t1, Term *t2);
-
-
-extern void term_print(FILE *stream, Term *t);
-
-#endif