diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-03T20·30+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-03T20·30+0000 |
| commit | 0690c1c9c01dd5889dbfccf2da6cb99f5c4e151b (patch) | |
| tree | c388986ad9539ecf0a238fabfec07873e553021f /INSTALL | |
| parent | ff3132427839888933c3779844bf35ca9e189cb9 (diff) | |
* Work around problems with the ATerm library.
The ATerm library doesn't search the heap for pointers to ATerms when garbage collecting. As a result, C++ containers such as `map<ATerm, ATerm>' will cause pointer to be hidden from the garbage collector, causing crashes. Instead, we now use ATermTables.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions