added ignore annotation to file

viperproject · Sep 29, 2022 · eb94adb · eb94adb
1 parent 7464c37
commit eb94adb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/test/resources/regressions/features/closures/closures-recursion2-mutual.gobra b/src/test/resources/regressions/features/closures/closures-recursion2-mutual.gobra
@@ -1,3 +1,5 @@
+//:: IgnoreFile(/gobra/issue/532/)
+
 // Any copyright is dedicated to the Public Domain.
 // http://creativecommons.org/publicdomain/zero/1.0/