5c61933 Fix build with GCC 13

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