hasktorch-ffi-thc-0.0.1.0: cbits/state_stuff.c

#ifdef CUDA
#include "THC/THCGeneral.h"
void free_CTHState(THCState* s)
{
  THCudaShutdown(s);
  THCState_free(s);
}
#else
void free_CTHState(int* s)
{
  return;
}
#endif