From 6f3c795216eb0edcc9061151209ff72607f977d3 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Thu, 8 Aug 2013 11:24:18 +0200
Subject: [PATCH] use proper CachedValue for caching of Django settings values

---
 python/src/com/jetbrains/python/psi/impl/PyFileEvaluator.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/python/src/com/jetbrains/python/psi/impl/PyFileEvaluator.java b/python/src/com/jetbrains/python/psi/impl/PyFileEvaluator.java
index 65e860356d00..2f77eae24a2c 100644
--- a/python/src/com/jetbrains/python/psi/impl/PyFileEvaluator.java
+++ b/python/src/com/jetbrains/python/psi/impl/PyFileEvaluator.java
@@ -145,4 +145,8 @@ public class PyFileEvaluator {
     }
     return Collections.emptyList();
   }
+
+  public Set<PyFile> getVisitedFiles() {
+    return myVisitedFiles;
+  }
 }