1 files changed, 7 insertions, 0 deletions
diff --git a/examples/sammie/SammieFin.gf b/examples/sammie/SammieFin.gf
new file mode 100644
index 000000000..05bfa41ad
--- /dev/null
+++ b/examples/sammie/SammieFin.gf
@@ -0,0 +1,7 @@
+--# -path=.:alltenses
+
+concrete SammieFin of Sammie = SammieI with
+  (Syntax = SyntaxFin), 
+  (Symbolic = SymbolicFin),
+  (ParamSammie = ParamSammieFin)
+ ;