diff options
| author | JRPan <[email protected]> | 2024-01-10 14:13:08 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-01-10 14:13:08 +0800 |
| commit | 2ef277b65a7e5b79808e6ccfc62fc71644159394 (patch) | |
| tree | 7f84bdab6391043e92d761d5cd79a407fb610cae /src/stream_manager.cc | |
| parent | 95822cbf2c6f8f7a15d5b1bc3bf0eb5250f8d36e (diff) | |
| parent | a0c12f5d63504c67c8bdfb1a6cc689b4ab7867a6 (diff) | |
Merge branch 'dev' into dev
Diffstat (limited to 'src/stream_manager.cc')
| -rw-r--r-- | src/stream_manager.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/stream_manager.cc b/src/stream_manager.cc index e99bf87..0ce3c6a 100644 --- a/src/stream_manager.cc +++ b/src/stream_manager.cc @@ -227,6 +227,8 @@ void stream_operation::print(FILE *fp) const { case stream_no_op: fprintf(fp, "no-op"); break; + default: + break; } } |