added clear_cache

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1121 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 9 insertions, 0 deletions

diff --git a/backendC/CleanCompilerSources/path_cache.c b/backendC/CleanCompilerSources/path_cache.c
index c8b7325..c9873d0 100644
--- a/backendC/CleanCompilerSources/path_cache.c
+++ b/backendC/CleanCompilerSources/path_cache.c
@@ -177,6 +177,15 @@ struct file_block **get_file_blocks_p_of_dcl_file (char *file_name)
 	return NULL;
 }
 
+extern void clear_inline_cache (void);
+
+void clear_cache (void)
+{
+	clear_path_cache();
+	clear_inline_cache();
+	FreePathList();
+}
+
 void clear_path_cache (void)
 {
 	int n;