From ad1a0ae89da6fed9241ea327b779d74830260d18 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 1 Aug 2024 11:34:06 -0700
Subject: [PATCH] Update permutation.cpp

fix macos build
---
 src/test/permutation.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/permutation.cpp b/src/test/permutation.cpp
index 89e850516..31b83b9d1 100644
--- a/src/test/permutation.cpp
+++ b/src/test/permutation.cpp
@@ -1,4 +1,5 @@
 #include <iostream>
+#include <sstream>
 #include "util/permutation.h"
 #include "util/util.h"