#! /bin/sh

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