Remove unused import

Remi Delmas · Remi Delmas · commit cebf6d56c883 · 2021-12-01T01:33:58.000Z
diff --git a/src/analyses/goto_check.cpp b/src/analyses/goto_check.cpp
@@ -12,6 +12,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "goto_check.h"
 
 #include <algorithm>
+#include <functional>
 
 #include <util/arith_tools.h>
 #include <util/array_name.h>
