From 57230f75d7bbdf1c8d278b464f60f01c937e6a07 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Thu, 15 Aug 2013 23:15:20 +0800
Subject: ...

---
 model.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'model.cpp')

diff --git a/model.cpp b/model.cpp
index 12aa665..2e28795 100644
--- a/model.cpp
+++ b/model.cpp
@@ -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;
-- 
cgit v1.2.3