Merge pull request #2155 from dlschmidt/master

Add missing import for cstdint to tools/bits2rbt/header.h
This commit is contained in:
Tomasz Michalak 2023-05-02 08:24:19 +02:00 committed by GitHub
commit 5dc67454fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -4,6 +4,7 @@
#include <iostream>
#include <string>
#include <vector>
#include <cstdint>
class Header {
public: