Index: runtime/vm/json_stream.h |
diff --git a/runtime/vm/json_stream.h b/runtime/vm/json_stream.h |
index 5b020b0d66013b83ba782c9394383e865183cfa3..b9025a94ade709acd0a12cf4b8846ac6169a68a3 100644 |
--- a/runtime/vm/json_stream.h |
+++ b/runtime/vm/json_stream.h |
@@ -47,12 +47,13 @@ enum JSONRpcErrorCode { |
kExtensionError = -32000, |
- kFeatureDisabled = 100, |
- kVMMustBePaused = 101, |
- kCannotAddBreakpoint = 102, |
- kStreamAlreadySubscribed = 103, |
- kStreamNotSubscribed = 104, |
- kIsolateMustBeRunnable = 105, |
+ kFeatureDisabled = 100, |
+ kVMMustBePaused = 101, |
+ kCannotAddBreakpoint = 102, |
+ kStreamAlreadySubscribed = 103, |
+ kStreamNotSubscribed = 104, |
+ kIsolateMustBeRunnable = 105, |
+ kIsolateMustBePaused = 106, |
}; |
// Expected that user_data is a JSONStream*. |