1 /* Copyright (c) 1979 Regents of the University of California */ 2 3 static char sccsid[] = "@(#)HALT.c 1.1 10/30/80"; 4 5 #include "h01errs.h" 6 7 HALT() 8 { 9 ERROR(EHALT, 0); 10 } 11