Fix writing of region specification in summary file.

This commit is contained in:
Paul Romano 2015-10-02 22:05:19 +07:00
parent 52fe3f5b76
commit f0da87cde0

View file

@ -186,6 +186,7 @@ contains
region_spec = trim(region_spec) // " )"
case (OP_COMPLEMENT)
region_spec = trim(region_spec) // " ~"
case (OP_INTERSECTION)
case (OP_UNION)
region_spec = trim(region_spec) // " ^"
case default