1 files changed, 13 insertions, 0 deletions
diff --git a/deprecated/old-lib/resource/spanish/ResSpa.gf b/deprecated/old-lib/resource/spanish/ResSpa.gf
new file mode 100644
index 000000000..c5576ce00
--- /dev/null
+++ b/deprecated/old-lib/resource/spanish/ResSpa.gf
@@ -0,0 +1,13 @@
+--1 Spanish 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 ResSpa of ResRomance = DiffSpa ** open CommonRomance, Prelude in {
+
+---  flags optimize=noexpand ;
+
+} ;