Remove unnecessary forward declarations of cprover types

danpoe · danpoe · commit 5c48449ad538 · 2019-01-28T18:56:04.000Z
diff --git a/src/memory-analyzer/gdb_api.h b/src/memory-analyzer/gdb_api.h
@@ -6,10 +6,6 @@
 
 #include <exception>
 
-class namespacet;
-class symbolt;
-class irept;
-
 class gdb_apit
 {
 public:
