From 4a834dcd179d5c7b9d1d0d2b5d55ea6b21d8a66c Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Wed, 23 May 2012 09:40:33 +0000
Subject: [PATCH] Dutch: added restricted inheritance of CatDut in NumeralDut

---
 lib/src/dutch/NumeralDut.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/src/dutch/NumeralDut.gf b/lib/src/dutch/NumeralDut.gf
index f85880c0f..cd74a3887 100644
--- a/lib/src/dutch/NumeralDut.gf
+++ b/lib/src/dutch/NumeralDut.gf
@@ -1,4 +1,4 @@
-concrete NumeralDut of Numeral = CatDut ** open ResDut, Prelude in {
+concrete NumeralDut of Numeral = CatDut [Numeral,Digits] ** open ResDut, Prelude in {
 
 flags optimize = all_subs ;