Update proc.c

Proper formatting