32fe7ba Fix a C compiler build issue on F19

Authored and Committed by Kai Engert 11 years ago
    Fix a C compiler build issue on F19
    
        
file modified
+12 -0