Removing unused import

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