Skip to content
Snippets Groups Projects
Commit c206e0eb authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Give .holds expressions a position (not ideal)

parent 8347ba3c
No related branches found
No related tags found
No related merge requests found
...@@ -1071,7 +1071,7 @@ trait CodeExtraction extends ASTExtractors { ...@@ -1071,7 +1071,7 @@ trait CodeExtraction extends ASTExtractors {
case t @ ExHoldsExpression(body) => case t @ ExHoldsExpression(body) =>
val resId = FreshIdentifier("holds", BooleanType).setPos(current.pos).setOwner(currentFunDef) val resId = FreshIdentifier("holds", BooleanType).setPos(current.pos).setOwner(currentFunDef)
val post = Lambda(Seq(LeonValDef(resId)), Variable(resId).setPos(current.pos)) val post = Lambda(Seq(LeonValDef(resId)), Variable(resId)).setPos(current.pos)
val b = try { val b = try {
extractTree(body) extractTree(body)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment