From 7fbcc9d3306260fda407111f46b46097f3fa7eca Mon Sep 17 00:00:00 2001
From: louis <louis.braun@gmx.de>
Date: Fri, 10 Oct 2014 15:32:38 +0200
Subject: support for global variables type 'double'

---
 dtd/globals.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dtd')

diff --git a/dtd/globals.dtd b/dtd/globals.dtd
index 570fa15..e6246d6 100644
--- a/dtd/globals.dtd
+++ b/dtd/globals.dtd
@@ -13,7 +13,7 @@
 <!ELEMENT var (#PCDATA)>
 <!ATTLIST var
   name NMTOKEN #REQUIRED
-  type (int|string) #REQUIRED>
+  type (int|double|string) #REQUIRED>
 
 <!ELEMENT token (trans)+>
 <!ATTLIST token
-- 
cgit v1.2.3