Transfer: changed syntax to remove the mandatory type annotation in let.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Transfer/Core/Skel.hs b/src/Transfer/Core/Skel.hs
index 25c362e7a..021722896 100644
--- a/src/Transfer/Core/Skel.hs
+++ b/src/Transfer/Core/Skel.hs
@@ -39,7 +39,7 @@ transTree t = case t of
   EInteger n -> failure t
   EDouble d -> failure t
   EMeta tmeta -> failure t
-  LetDef cident exp0 exp1 -> failure t
+  LetDef cident exp -> failure t
   Case pattern exp0 exp1 -> failure t
   FieldType cident exp -> failure t
   FieldValue cident exp -> failure t
@@ -97,7 +97,7 @@ transExp t = case t of
 
 transLetDef :: LetDef -> Result
 transLetDef t = case t of
-  LetDef cident exp0 exp1 -> failure t
+  LetDef cident exp -> failure t
 
 transCase :: Case -> Result
 transCase t = case t of