Add HashTable
[IRC.git] / Robust / src / Runtime / runtime.c
index 5d3e9b2a2cab27bd660fdfaf66f036872d82bcd4..816fa839eea4a7c5b250ac629134364919bb3962 100644 (file)
@@ -459,7 +459,7 @@ void injectinstructionfailure() {
 #endif
 }
 
-int ___Object______hashcode____(struct ___Object___ * ___this___) {
+int ___Object______hashCode____(struct ___Object___ * ___this___) {
   return (int) ___this___;
 }