From 7bb3a5605b1cc823b8f953e9033a531402cab9fb Mon Sep 17 00:00:00 2001 From: Kp Date: Sat, 20 Aug 2016 22:28:43 +0000 Subject: [PATCH] Remove useless cast in similar/editor/info.cpp --- similar/editor/info.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/similar/editor/info.cpp b/similar/editor/info.cpp index a86dbc287..c023a38eb 100644 --- a/similar/editor/info.cpp +++ b/similar/editor/info.cpp @@ -241,7 +241,7 @@ static void info_display_default(int show_all) if ( old_Num_objects != num_objects ) { old_Num_objects = num_objects; - gr_uprintf( 0, 32, "Objs: %3d/%3lu", num_objects, static_cast(MAX_OBJECTS)); + gr_uprintf( 0, 32, "Objs: %3d/%3" DXX_PRI_size_type "u", num_objects, MAX_OBJECTS); } //--------------- Current_segment_number -------------