diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala index 361cbf4d57f7fc2e949434f28ad123da5686e5a2..612bcb9b08455e04440e7502d56866038381d306 100644 --- a/src/main/scala/leon/purescala/Trees.scala +++ b/src/main/scala/leon/purescala/Trees.scala @@ -45,14 +45,14 @@ object Trees { /* Like vals */ case class Let(binder: Identifier, value: Expr, body: Expr) extends Expr { binder.markAsLetBinder - val et = binder.getType + val et = body.getType if(et != Untyped) setType(et) } //same as let, buf for mutable variable declaration case class LetVar(binder: Identifier, value: Expr, body: Expr) extends Expr { binder.markAsLetBinder - val et = binder.getType + val et = body.getType if(et != Untyped) setType(et) }