Removed dead code for interning files (no longer needed since temp file

change)

1 files changed, 0 insertions, 2 deletions

diff --git a/files.h b/files.h
index f849a19..63b1c0f 100644
--- a/files.h
+++ b/files.h
@@ -25,8 +25,6 @@ file_t *load_filef(file_t **files, const char *fmt, ...);
 __attribute__((nonnull(3), returns_nonnull))
 file_t *spoof_file(file_t **files, const char *filename, const char *text);
 __attribute__((nonnull))
-void intern_file(file_t *f);
-__attribute__((nonnull))
 void destroy_file(file_t **f);
 __attribute__((pure, nonnull))
 size_t get_line_number(file_t *f, const char *p);