From 56f62f31d88348e25636e13d9f8f57a04c1b0b74 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Thu, 1 Dec 2005 16:55:57 +0000
Subject: Transfer: Added Double type.

---
 src/Transfer/Syntax/Syntax.cf | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/Transfer/Syntax/Syntax.cf')

diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf
index 3550786d5..71fdfc84a 100644
--- a/src/Transfer/Syntax/Syntax.cf
+++ b/src/Transfer/Syntax/Syntax.cf
@@ -115,7 +115,8 @@ EList.     Exp13 ::= "[" [Exp] "]" ;
 EVar.      Exp13 ::= Ident ;
 EType.     Exp13 ::= "Type" ;
 EStr.      Exp13 ::= String ;
-EInt.      Exp13 ::= Integer ;
+EInteger.  Exp13 ::= Integer ;
+EDouble.   Exp13 ::= Double ;
 EMeta.     Exp13 ::= "?" ;
 
 coercions Exp 13 ;
-- 
cgit v1.2.3