From 5e7542d6f7cd1964839f6214915c7f9b7d7f8866 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Wed, 8 Jun 2016 12:14:21 +0200 Subject: edoc: Fix new Maps syntax --- lib/edoc/priv/edoc.dtd | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'lib/edoc/priv') diff --git a/lib/edoc/priv/edoc.dtd b/lib/edoc/priv/edoc.dtd index 4278a9e643..89058f5d85 100644 --- a/lib/edoc/priv/edoc.dtd +++ b/lib/edoc/priv/edoc.dtd @@ -103,7 +103,7 @@ + fun | record | map | abstype)+> @@ -129,6 +129,10 @@ + + + + -- cgit v1.2.3