From b64f0af7bf432e7934ea52a0ff9324401418e478 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

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

diff --git a/src/dutch/NumeralDut.gf b/src/dutch/NumeralDut.gf
index f85880c0f..cd74a3887 100644
--- a/src/dutch/NumeralDut.gf
+++ b/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 ;