slicc: export uint64_t instead of uint64
authorAnthony Gutierrez <atgutier@umich.edu>
Wed, 16 Sep 2015 16:01:39 +0000 (12:01 -0400)
committerAnthony Gutierrez <atgutier@umich.edu>
Wed, 16 Sep 2015 16:01:39 +0000 (12:01 -0400)
src/mem/protocol/RubySlicc_Exports.sm

index b643a3da1ad4608ce58878235a6ae993df494641..eeec185fc84da26607aa270bf0a1878a2c94f544 100644 (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");