Fix another Windows build warning

DynamoRIO · Oct 25, 2024 · d398d8b · d398d8b
1 parent ee4991e
commit d398d8b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/clients/drcachesim/tools/schedule_stats.cpp b/clients/drcachesim/tools/schedule_stats.cpp
@@ -495,10 +495,10 @@ schedule_stats_t::aggregate_results(counters_t &total)
         // If the scheduler is counting migrations, it may see more due to inputs
         // not yet executed moving among runqueues.
 #ifndef NDEBUG
-        int64_t sched_migrations = shard.second->stream->get_schedule_statistic(
+        double sched_migrations = shard.second->stream->get_schedule_statistic(
             memtrace_stream_t::SCHED_STAT_MIGRATIONS);
 #endif
-        assert(sched_migrations == 0 ||
+        assert(sched_migrations == 0. ||
                sched_migrations > shard.second->counters.observed_migrations);
     }
 }