From 146bd72e112ee2dadb229e0e1a54f6453d4cf012 Mon Sep 17 00:00:00 2001
From: bringert
Date: Wed, 1 Mar 2006 12:51:10 +0000
Subject: [PATCH] Transfer reference: remove type annotations in let.
---
doc/transfer-reference.html | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/transfer-reference.html b/doc/transfer-reference.html
index f0f1bcd89..b4045606b 100644
--- a/doc/transfer-reference.html
+++ b/doc/transfer-reference.html
@@ -8,7 +8,7 @@
Transfer language reference
Author: Björn Bringert <bringert@cs.chalmers.se>
-Last update: Fri Dec 9 11:55:35 2005
+Last update: Wed Mar 1 13:50:59 2006
@@ -226,9 +226,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