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 /src/libmain/shared.cc | |
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 'src/libmain/shared.cc')
0 files changed, 0 insertions, 0 deletions