diff options
author | ronny | 2004-03-23 14:12:20 +0000 |
---|---|---|
committer | ronny | 2004-03-23 14:12:20 +0000 |
commit | af832f7864afe842fde64205548a044c8c8a6d10 (patch) | |
tree | 65013bd35f29ed2810b187b5a20fd37fa232ff7c /backendC/CleanCompilerSources/result_state_database.c | |
parent | clean up: introduced quote function for strings (diff) |
introduced info parameter for reify functions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1475 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/result_state_database.c')
0 files changed, 0 insertions, 0 deletions