slicc: export uint64_t instead of uint64

This commit is contained in:
Anthony Gutierrez 2015-09-16 12:01:39 -04:00
parent fdf2a6f439
commit 3edadb0bd3

View file

@ -32,7 +32,7 @@ external_type(int, primitive="yes", default="0");
external_type(bool, primitive="yes", default="false");
external_type(std::string, primitive="yes");
external_type(uint32_t, primitive="yes");
external_type(uint64, primitive="yes");
external_type(uint64_t, primitive="yes");
external_type(PacketPtr, primitive="yes");
external_type(Packet, primitive="yes");
external_type(Addr, primitive="yes");