#ifndef lint
static char *rcsid_gdb_debug_c = "$Header$";
-#endif lint
+#endif
/************************************************************************/
/*
/* operation
/*
/* Copyright 1986 MIT Project Athena
+/* For copying and distribution information, please see
+/* the file <mit-copyright.h>.
/*
/************************************************************************/
+#include <mit-copyright.h>
#include <stdio.h>
#include "gdb.h"