#! /bin/sh
# Clean up residue from runs

demo=4

rm -f demo${demo}traces infile.v junk.su junkmgb* junkv*
