*** ext2spice/spice2sim.orig Wed May 22 19:14:08 1996
--- ext2spice/spice2sim Thu Dec 5 23:19:48 1996
***************
*** 1,4 ****
! #!/bin/awk -f
# convert an ext2spice produced file to a .sim file for debugging
#
BEGIN {
--- 1,4 ----
! #!/usr/bin/awk -f
# convert an ext2spice produced file to a .sim file for debugging
#
BEGIN {