1 files changed, 3 insertions, 5 deletions
diff --git a/autoload.h b/autoload.h
index 6c17c0b7..2f1e00d3 100644
--- a/autoload.h
+++ b/autoload.h
@@ -64,6 +64,9 @@ private:
 
     /** The path from which we most recently autoloaded */
     wcstring last_path;
+    
+    /** That path, tokenized (split on separators) */
+    wcstring_list_t last_path_tokenized;
 
     /**
        A table containing all the files that are currently being
@@ -71,11 +74,6 @@ private:
     */
     std::set<wcstring> is_loading_set;
 
-    bool is_loading(const wcstring &name) const
-    {
-        return is_loading_set.find(name) != is_loading_set.end();
-    }
-
     void remove_all_functions(void)
     {
         this->evict_all_nodes();