attempt to fix windows build bot

Z3Prover · Jun 17, 2022 · f3c00a0 · f3c00a0
1 parent c3407fc
commit f3c00a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;