From 881b777ffd5e95aa36867f93b0f6b27921da53d5 Mon Sep 17 00:00:00 2001
From: Google DeepMind <noreply@deepmind.com>
Date: Mon, 5 Aug 2024 13:46:21 -0700
Subject: [PATCH] Fix a build error in engine_util_solve_test.cc.

PiperOrigin-RevId: 659668840
Change-Id: I56b0604628d54e149092201ff19c3318b75429a6
---
 test/engine/engine_util_solve_test.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/engine/engine_util_solve_test.cc b/test/engine/engine_util_solve_test.cc
index 6e79dc41..dabc6024 100644
--- a/test/engine/engine_util_solve_test.cc
+++ b/test/engine/engine_util_solve_test.cc
@@ -17,6 +17,7 @@
 #include "src/engine/engine_util_solve.h"
 
 #include <random>
+#include <iomanip>
 
 #include <gmock/gmock.h>
 #include <gtest/gtest.h>