Skip to content
Snippets Groups Projects
Commit 6d9b0c43 authored by Alessandro Di Federico's avatar Alessandro Di Federico
Browse files

SET: use the appropriate type while materializing

While materializing values in SET through the `OperationStack` we used
to use as a type the type of the value associate to the currently used
`BoundedValue`. This was wrong, this patch uses the type on the free
operand on the top of the `OperationsStack` to perform the required
computations.
parent d8f13c79
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment