Commit 72454e28 authored by Julian Kranz's avatar Julian Kranz
Browse files

---

parent d9bd71ed
......@@ -95,8 +95,8 @@ val df-substmap-lookup-var-to-linear state offset size var =
SEM_SEXPR sex: case sex of
SEM_SEXPR_LIN l : JUST_LINEAR l
| _ : NOTHING_LINEAR
| _: NOTHING_LINEAR
end
| _: NOTHING_LINEAR
end
else NOTHING_LINEAR)
else NOTHING_LINEAR))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment