forgot to close file

diff --git a/ir/be/beprofile.c b/ir/be/beprofile.c
index 2c09374..6d25cae 100644 (file)
--- a/ir/be/beprofile.c
+++ b/ir/be/beprofile.c
@@ -309,6 +309,8 @@ be_profile_read(char * filename)
 
                set_insert(profile, &query, sizeof(query), query.block);
        } while(1);
+
+       fclose(f);
 }
 
 /**