From 6b49e307174a7d73e8a3a6affe242fc9beb59238 Mon Sep 17 00:00:00 2001
From: Jordan Rupprecht <rupprecht@google.com>
Date: Thu, 13 Aug 2026 14:41:32 -0400
Subject: [PATCH] Add missing headers

---
 src/stim/util_bot/probability_util.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/stim/util_bot/probability_util.cc b/src/stim/util_bot/probability_util.cc
index 2b66c0857..2bf1487cb 100644
--- a/src/stim/util_bot/probability_util.cc
+++ b/src/stim/util_bot/probability_util.cc
@@ -14,6 +14,7 @@
 
 #include "stim/util_bot/probability_util.h"
 
+#include <cmath>
 #include <cstring>
 
 #include "stim/util_bot/arg_parse.h"