#! /bin/sh

exec gdb -x $VCSN_PYTHONDIR/vcsn/gdb-demangle.py "$@"
