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.

---
 doc/transfer-reference.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/transfer-reference.txt b/doc/transfer-reference.txt
index 213e78216..07204ce8e 100644
--- a/doc/transfer-reference.txt
+++ b/doc/transfer-reference.txt
@@ -158,9 +158,9 @@ argument + 1.
 To give local definition to some names, use:
 
 ```
-let x1 : T1 = exp1
+let x1  = exp1
     ...
-    xn : Tn = expn
+    xn = expn
  in exp
 ```
 
-- 
cgit v1.2.3