diff options
author | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-05-07 11:45:45 -0700 |
---|---|---|
committer | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-05-07 11:45:45 -0700 |
commit | 4f4d230dac936f32cceb8be35fe09822d85bb2b6 (patch) | |
tree | a180a736708834708e0e5b95fd1720f37722b429 /src/common/break_points.h | |
parent | 337f1e1b96445b81c40c313b1bf680fe660f14f5 (diff) | |
parent | c956e8a6869d0ee1edd68a6ab880efa6bf1fbe70 (diff) |
Merge pull request #721 from yuriks/more-cleanups
More cleanups
Diffstat (limited to 'src/common/break_points.h')
-rw-r--r-- | src/common/break_points.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/break_points.h b/src/common/break_points.h index 4b26cf90d..f0a55e7b1 100644 --- a/src/common/break_points.h +++ b/src/common/break_points.h @@ -7,7 +7,7 @@ #include <vector> #include <string> -#include "common/common.h" +#include "common/common_types.h" class DebugInterface; |