diff options
author | Teddy <[email protected]> | 2013-08-15 23:15:20 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2013-08-15 23:15:20 +0800 |
commit | 57230f75d7bbdf1c8d278b464f60f01c937e6a07 (patch) | |
tree | 3aea0a2b128f406aa83350de970032e63042517c /model.cpp | |
parent | fd4d72a0505c3cef83c14c153e0e600e63099ffd (diff) |
...
Diffstat (limited to 'model.cpp')
-rw-r--r-- | model.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5,11 +5,12 @@ #include "gc.h" #include <cstdio> +#include <set> static const int REPR_STACK_SIZE = 262144; extern EmptyList *empty_list; extern GarbageCollector gc; -typedef set<EvalObj*> EvalObjAddrHash; +typedef std::set<EvalObj*> EvalObjAddrHash; /** Maintain the current in-stack objects to detect circular structures */ static EvalObjAddrHash hash; |