# use a cocci spatch for the refactoring

SP_FILE=$1
shift
spatch -in-place -sp_file $SP_FILE -I .. $*
echo $1, $2
echo "refactor using $SP_FILE" > ../.git/GITGUI_BCK
git add $SP_FILE
cat $SP_FILE >> ../.git/GITGUI_BCK
