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

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs
index 7a847f2f3..ad42b858c 100644
--- a/src/Transfer/Syntax/Skel.hs
+++ b/src/Transfer/Syntax/Skel.hs
@@ -74,7 +74,7 @@ transTree t = case t of
   EMeta  -> failure t
   VVar i -> failure t
   VWild  -> failure t
-  LetDef i exp0 exp1 -> failure t
+  LetDef i exp -> failure t
   Case pattern guard exp -> failure t
   BindVar varorwild exp -> failure t
   BindNoVar exp -> failure t
@@ -177,7 +177,7 @@ transVarOrWild t = case t of
 
 transLetDef :: LetDef -> Result
 transLetDef t = case t of
-  LetDef i exp0 exp1 -> failure t
+  LetDef i exp -> failure t
 
 transCase :: Case -> Result
 transCase t = case t of