Skip to content

Commit 54afe71

Browse files
authored
Merge pull request #2099 from JanRotti/feature_python_dro
added cstdint header to printing_toolbox.hpp
2 parents efe8a67 + 616dcd8 commit 54afe71

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

Common/include/toolboxes/printing_toolbox.hpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,7 @@
2727

2828
#include <iostream>
2929
#include <iomanip>
30+
#include <cstdint>
3031
#include <vector>
3132
#include <string>
3233
#include <sstream>

0 commit comments

Comments
 (0)