Skip to content
Snippets Groups Projects
Commit 3fcf0733 authored by Régis Blanc's avatar Régis Blanc
Browse files

put back the path condition with let val in function close, is not the cause of the previous bug

parent 5a527dd1
Branches
Tags
No related merge requests found
......@@ -87,9 +87,9 @@ object FunctionClosure extends Pass {
}
case l @ Let(i,e,b) => {
val re = functionClosure(e, bindedVars)
//pathConstraints ::= Equals(Variable(i), re)
pathConstraints ::= Equals(Variable(i), re)
val rb = functionClosure(b, bindedVars + i)
//pathConstraints = pathConstraints.tail
pathConstraints = pathConstraints.tail
Let(i, re, rb).setType(l.getType)
}
case n @ NAryOperator(args, recons) => {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment