1 files changed, 0 insertions, 13 deletions
diff --git a/next-lib/src/catalan/ResCat.gf b/next-lib/src/catalan/ResCat.gf
deleted file mode 100644
index 4a1b7dd80..000000000
--- a/next-lib/src/catalan/ResCat.gf
+++ /dev/null
@@ -1,13 +0,0 @@
---1 Catalan auxiliary operations.
---
----- This module contains operations that are needed to make the
----- resource syntax work. To define everything that is needed to
----- implement $Test$, it moreover contains regular lexical
----- patterns needed for $Lex$.
-
-
-instance ResCat of ResRomance = DiffCat ** open CommonRomance, Prelude in {
-
-  flags optimize=noexpand ;
-
-} ;