Convert tabs to spaces in design doc templates

[pintos-anon] / src / examples / halt.c

/* halt.c

   Simple program to test whether running a user program works.
        
   Just invokes a system call that shuts down the OS. */

#include <syscall.h>

int
main (void)
{
  halt ();
  /* not reached */
}