resolve: update references collection cycle detect logic

aya-prover · Jan 7, 2025 · a383eee · a383eee
1 parent e344430
commit a383eee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/aya/resolve/visitor/VariableDependencyCollector.java b/base/src/main/java/org/aya/resolve/visitor/VariableDependencyCollector.java
@@ -54,13 +54,13 @@ public void registerVariable(GeneralizedVar var) {
 
     var deps = collectReferences(var);
     dependencies.put(var, deps);
-    visiting.remove(var);
 
     // Recursively register dependencies
     for (var dep : deps) {
       registerVariable(dep);
     }
 
+    visiting.remove(var);
     visited.add(var);
   }