diff -r 62e89e696a3b -r a79e88aad555 devtools/__init__.py
--- a/devtools/__init__.py	Fri Jun 21 16:18:20 2013 +0200
+++ b/devtools/__init__.py	Fri Jun 21 16:01:59 2013 +0200
@@ -120,8 +120,7 @@
         repo._type_source_cache = {}
         repo._extid_cache = {}
         repo.querier._rql_cache = {}
-        for source in repo.sources:
-            source.reset_caches()
+        repo.system_source.reset_caches()
         repo._needs_refresh = False