#!/bin/bash
ledit ocamldebug -I domains -I driver -I frontend -I utils -I $HOME/zarith/trunk -I /usr/local/lib  ./banal.b "$*"
