From 9c0caf60bc6d48cc6d93a6cfa4194b9ed843fa1f Mon Sep 17 00:00:00 2001
From: Varun Agrawal <varagrawal@gmail.com>
Date: Thu, 29 Jun 2023 16:39:08 -0400
Subject: [PATCH] add header to timing.cpp

---
 gtsam/base/timing.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gtsam/base/timing.cpp b/gtsam/base/timing.cpp
index 154a564db..b43595066 100644
--- a/gtsam/base/timing.cpp
+++ b/gtsam/base/timing.cpp
@@ -19,9 +19,10 @@
 #include <gtsam/base/debug.h>
 #include <gtsam/base/timing.h>
 
+#include <algorithm>
+#include <cassert>
 #include <cmath>
 #include <cstddef>
-#include <cassert>
 #include <iomanip>
 #include <iostream>
 #include <map>