Skip to content
Snippets Groups Projects
Commit 0690c1c9 authored by Eelco Dolstra's avatar Eelco Dolstra
Browse files

* 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.
parent ff313242
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment