Fiasco: terminate_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef terminate_i_h
00004 #define terminate_i_h
00005 
00006 #include <cstdio>
00007 #include <cstdlib>
00008 #include "helping_lock.h"
00009 #include "kernel_console.h"
00010 #include "reset.h"
00011 
00012 #endif // terminate_i_h