Error due to lack of import

[ivanperez-keera]

Newer versions of GCC have become more strict about this about the use of fix-size integer types, resulting in errors similar to the following:

In file included from /<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/abstract_domain.hpp:47,
                 from /<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/interval.hpp:46,
                 from /<<PKGBUILDDIR>>/analyzer/src/analysis/pointer/pointer.cpp:48:
/<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/operator.hpp:97:24: error: ‘uint64_t’ has not been declared
   97 |                        uint64_t result_bit_width,
      |                        ^~~~~~~~

Originally reported by @swt2c.

[ivanperez-keera]

Just for our own documentation, I'd like to assign the issue to you @swt2c. Would that be ok? (if you comment on this, github will let me do it :smile: ).

sillybureaucracy

[swt2c]

Sure.