Fix IWYU

TGWDB · TGWDB · commit 53969bc2f18c · 2022-11-24T16:24:02.000Z
diff --git a/src/solvers/prop/prop_conv_solver.cpp b/src/solvers/prop/prop_conv_solver.cpp
@@ -9,7 +9,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "prop_conv_solver.h"
 
 #include <algorithm>
-#include <chrono>
+#include <chrono>  // IWYU pragma: keep
 
 #include "literal_expr.h"
 
