diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-21T14·49+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-21T14·49+0000 |
| commit | 1109ea068097d4c5e3a4dfdeececf4590c52329a (patch) | |
| tree | 58f8e98b4a69dc97b206790c29c56ef59f9fcb24 /INSTALL | |
| parent | 47f19b6293357a8bdc3a2290813765170f241b58 (diff) | |
* Fixed a subtle uninitialised variable bug in ATermMaps copied from
ATermMaps. Found thanks to Valgrind!
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions