diff options
Diffstat (limited to 'include/system/replay.h')
| -rw-r--r-- | include/system/replay.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/include/system/replay.h b/include/system/replay.h index 8926d8c..1c87c97 100644 --- a/include/system/replay.h +++ b/include/system/replay.h @@ -11,10 +11,6 @@ #ifndef SYSTEM_REPLAY_H #define SYSTEM_REPLAY_H -#ifdef CONFIG_USER_ONLY -#error Cannot include this header from user emulation -#endif - #include "exec/replay-core.h" #include "qapi/qapi-types-misc.h" #include "qapi/qapi-types-run-state.h" |