diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-05-08T10·00+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-05-08T10·00+0000 |
| commit | 310e605995dc104bee29d330ac135e3e2bb82f97 (patch) | |
| tree | f020fe0f638f1c5f820fdfcebcadabc71fb07b3b /src/libutil/aterm-map.hh | |
| parent | 0832956089516d32371060c98df4f8d0cbff2b0f (diff) | |
* Show evaluation stats when NIX_SHOW_STATS=1.
Diffstat (limited to 'src/libutil/aterm-map.hh')
| -rw-r--r-- | src/libutil/aterm-map.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libutil/aterm-map.hh b/src/libutil/aterm-map.hh index d7aed2ca21ac..6d13d7f9e0d1 100644 --- a/src/libutil/aterm-map.hh +++ b/src/libutil/aterm-map.hh @@ -111,4 +111,8 @@ private: }; +/* Hack. */ +void printATermMapStats(); + + #endif /* !__ATERM_MAP_H */ |