Commit b227a3d3 authored by Michael Beck's avatar Michael Beck
Browse files

Changed handling of switch-Conds. Now collected and processed.

This speeds up things and fixes some verification errors (CF-Bad) in the Spec

[r8599]
parent 1c5240f1
This diff is collapsed.
Supports Markdown
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