diff options
author | qadeer <unknown> | 2010-01-28 00:56:27 +0000 |
---|---|---|
committer | qadeer <unknown> | 2010-01-28 00:56:27 +0000 |
commit | 623893309558450f7ecca692ef0bb6af69df9e3d (patch) | |
tree | 03d3580b726b536b50d29f0ae209b1084ccebb7f /Source/VCGeneration | |
parent | c687fe7fcc0f49dceda4e9bc253abef7e97962a1 (diff) |
Fixed bug in DEFTYPE declarations for maps. Made sure that argument and result types of maps are declared before the type of the map itself.
Diffstat (limited to 'Source/VCGeneration')
0 files changed, 0 insertions, 0 deletions