diff options
| author | Christian Grothoff <christian@grothoff.org> | 2010-07-02 14:02:18 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2010-07-02 14:02:18 +0000 |
| commit | c3a68010779e9abfa0cf0315b53ffad7e72189e6 (patch) | |
| tree | a526b185214feaeb5f4cf0c4344efd8ae2bc80bd /src/monkey/gdbmi_get_free_vt.c | |
| parent | bde3e5116229db9c1b95d1db8de1b1a00f284916 (diff) | |
| download | gnunet-c3a68010779e9abfa0cf0315b53ffad7e72189e6.tar.gz gnunet-c3a68010779e9abfa0cf0315b53ffad7e72189e6.zip | |
fix
Diffstat (limited to 'src/monkey/gdbmi_get_free_vt.c')
| -rw-r--r-- | src/monkey/gdbmi_get_free_vt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monkey/gdbmi_get_free_vt.c b/src/monkey/gdbmi_get_free_vt.c index f5c980005..ac5c222f0 100644 --- a/src/monkey/gdbmi_get_free_vt.c +++ b/src/monkey/gdbmi_get_free_vt.c | |||
| @@ -22,7 +22,7 @@ to my needs and changed license from giftware to GPL.@p | |||
| 22 | #include <util.h> | 22 | #include <util.h> |
| 23 | #endif /* __APPLE__ */ | 23 | #endif /* __APPLE__ */ |
| 24 | 24 | ||
| 25 | #include "mi_gdb.h" | 25 | #include "gdbmi.h" |
| 26 | 26 | ||
| 27 | #if !defined(__linux__) | 27 | #if !defined(__linux__) |
| 28 | 28 | ||