1 files changed, 0 insertions, 12 deletions
diff --git a/Test/dafny0/ModulesCycle.dfy b/Test/dafny0/ModulesCycle.dfy
deleted file mode 100644
index 72b7e6fb..00000000
--- a/Test/dafny0/ModulesCycle.dfy
+++ /dev/null
@@ -1,12 +0,0 @@
-
-module V {
-  import t = T;  // error: T is not visible (and isn't even a module)
-}
-
-module A {
-  import B = C;
-}
-
-module C {
-  import D = A;
-}
-\ No newline at end of file