1 files changed, 0 insertions, 25 deletions
diff --git a/test-suite/bugs/opened/3948.v b/test-suite/bugs/opened/3948.v
deleted file mode 100644
index 16581308..00000000
--- a/test-suite/bugs/opened/3948.v
+++ /dev/null
@@ -1,25 +0,0 @@
-Module Type S.
-Parameter t : Type.
-End S.
-
-Module Bar(X : S).
-Proof.
-  Definition elt := X.t.
-  Axiom fold : elt.
-End Bar.
-
-Module Make (X: S) := Bar(X).
-
-Declare Module X : S.
-
-Module Type Interface.
-  Parameter constant : unit.
-End Interface.
-
-Module DepMap : Interface.
-  Module Dom := Make(X).
-  Definition constant : unit :=
-    let _ := @Dom.fold in tt.
-End DepMap.
-
-Print Assumptions DepMap.constant.
-\ No newline at end of file