Remove unused include of guard.h

romainbrenguier · romainbrenguier · commit ea7ffaa84cea · 2019-02-14T14:01:06.000Z
The include statement is not usefull anymore, as the usage of guard
disappeared from this file.
diff --git a/src/goto-programs/goto_convert_class.h b/src/goto-programs/goto_convert_class.h
@@ -17,7 +17,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <unordered_set>
 
 #include <util/allocate_objects.h>
-#include <util/guard.h>
 #include <util/message.h>
 #include <util/namespace.h>
 #include <util/replace_expr.h>
