Merge branch 'master' into kimkulling/skeleton-doc

pull/4946/head
Kim Kulling 2023-02-13 21:29:32 +01:00 committed by GitHub
commit 779912e84e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -125,7 +125,7 @@ public:
return length;
}
void Flush() {
void Flush() override{
ai_assert(false); // won't be needed
}