/*
 *  File:       dbg-crsh.h
 *  Summary:    Crash handler.
 *  Written by: Linley Henzell and Jesse Jones
 */

#ifndef DBGCRSH_H
#define DBGCRSH_H

void do_crash_dump();

#endif