rename field names
authorbdemsky <bdemsky>
Fri, 25 Feb 2011 00:45:44 +0000 (00:45 +0000)
committerbdemsky <bdemsky>
Fri, 25 Feb 2011 00:45:44 +0000 (00:45 +0000)
commit6231138135eaa7c5a6e319def8efe11029b57a56
treebd7fce092fe9af89105b88f8407e9e28420bf42f
parentc4a53feabbe82d08dcda96023631825712de1c3d
rename field names
Robust/src/Runtime/runtime.c