summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--rts/Hash.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/Hash.h b/rts/Hash.h
index ad55953da4..fb83fdfa9e 100644
--- a/rts/Hash.h
+++ b/rts/Hash.h
@@ -36,5 +36,7 @@ HashTable * allocStrHashTable ( void );
*/
void freeHashTable ( HashTable *table, void (*freeDataFun)(void *) );
+void exitHashTable ( void );
+
#endif /* HASH_H */