diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2017-10-17 23:13:04 +0200 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2017-10-17 23:13:04 +0200 |
| commit | 7d43c4e7ad6b83a23516b26b4aebf74f398c251b (patch) | |
| tree | a6bd3b9f8e52c33615291ec4dc19f5ee9c9bb789 /src/common.hpp | |
| parent | f66cf28c8b4d80122896c87dba8af74ea1872eba (diff) | |
Fix a bug in entity linking.
Diffstat (limited to 'src/common.hpp')
| -rw-r--r-- | src/common.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common.hpp b/src/common.hpp index 75dd17d..6798ec8 100644 --- a/src/common.hpp +++ b/src/common.hpp @@ -1,5 +1,5 @@ #include <iostream> -#include <cstdint> +#include <cinttypes> #include <cmath> #include <cassert> #include <map> |