80533d1 Fix compile with GCC 13

Authored and Committed by yselkowitz a year ago
    Fix compile with GCC 13
    
        
file modified
+2 -0