From ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 9 Dec 2005 11:45:57 +0000
Subject: Transfer: changed syntax to remove the mandatory type annotation in
 let.

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

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

diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf
index 1b8f8cb4e..07d5c0625 100644
--- a/src/Transfer/Syntax/Syntax.cf
+++ b/src/Transfer/Syntax/Syntax.cf
@@ -83,7 +83,7 @@ VWild.     VarOrWild ::= "_" ;
 
 EAbs.      Exp1 ::= "\\" VarOrWild "->" Exp1 ;
 ELet.      Exp1 ::= "let" "{" [LetDef] "}" "in" Exp1 ;
-LetDef.    LetDef ::= Ident ":" Exp "=" Exp ;
+LetDef.    LetDef ::= Ident "=" Exp ;
 separator LetDef ";" ;
 ECase.     Exp1 ::= "case" Exp "of" "{" [Case] "}" ;
 Case.     Case ::= Pattern Guard "->" Exp ;
-- 
cgit v1.2.3