Add back model_thread; it is still needed

[c11tester.git] / hashfunction.h

#ifndef __HASH_FUNCTION__
#define __HASH_FUNCTION__

#include <stdint.h>

unsigned int int64_hash(uint64_t key);

#endif