. ../../testutils.sh

run -p contrib --cg node Fix1795.idr
