Commit a1ec9127 authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

allow comparisons between distinct range types

Apparently this is legal as it's used in some existing CMurphi models.
parent 33205b4b
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