diff options
| author | Aaron Barnes <[email protected]> | 2023-08-07 12:27:43 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-08-07 12:27:43 -0400 |
| commit | 57452f0afc9f25118ef03aa317669331feaa8571 (patch) | |
| tree | c617f1a97f6549642034de7d6f3b70723bc6ba75 /src/stream_manager.cc | |
| parent | 712b6104e7399b2dd42c25b4cd788f0f36b5b39d (diff) | |
| parent | a42b72214b92b6a97f16c180ad09631cbe50da33 (diff) | |
Merge branch 'dev' into fix-stats
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; } } |