6736903 fix for gcc4.7

Authored and Committed by gnat 12 years ago
file modified
+7 -1
file added
+21