diff options
Diffstat (limited to 'src/util/result.h')
-rw-r--r-- | src/util/result.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/result.h b/src/util/result.h index c4733eab9..ac52ee382 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -59,7 +59,9 @@ public: REQUIRES_FULL_CHECK, INCOMPLETE, TIMEOUT, + RESOURCEOUT, MEMOUT, + INTERRUPTED, NO_STATUS, UNSUPPORTED, OTHER, |