diff options
Diffstat (limited to 'emulators/gpsim/patches/patch-src_symbol.h')
| -rw-r--r-- | emulators/gpsim/patches/patch-src_symbol.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/emulators/gpsim/patches/patch-src_symbol.h b/emulators/gpsim/patches/patch-src_symbol.h deleted file mode 100644 index c341c819e23..00000000000 --- a/emulators/gpsim/patches/patch-src_symbol.h +++ /dev/null @@ -1,12 +0,0 @@ -$NetBSD: patch-src_symbol.h,v 1.1 2013/03/02 18:12:01 joerg Exp $ - ---- src/symbol.h.orig 2013-02-28 10:35:39.000000000 +0000 -+++ src/symbol.h -@@ -23,6 +23,7 @@ Boston, MA 02111-1307, USA. */ - // - - #include <string> -+#include <typeinfo> - #include <vector> - #include "value.h" - #include "registers.h" |