From f3c00a0a034cc0eace3260e0914b7741eeae48bd Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Fri, 17 Jun 2022 18:05:19 +0100
Subject: [PATCH] attempt to fix windows build bot

---
 src/test/diff_logic.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/diff_logic.cpp b/src/test/diff_logic.cpp
index 5147bdf31..9a3403ad2 100644
--- a/src/test/diff_logic.cpp
+++ b/src/test/diff_logic.cpp
@@ -22,6 +22,7 @@ Revision History:
 #include "smt/smt_literal.h"
 #include "util/util.h"
 #include "util/debug.h"
+#include <iostream>
 
 struct diff_logic_ext {
     typedef rational numeral;