use ledit for debugging

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 3175bbea7a2c2294a3edc0b844e237b3affd5cd6..4017367da8f2e04152429789064fb2a79474fffe 100644 (file)
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -133,7 +133,7 @@ debug:
        echo "install_printer CicMetaSubst.fppsubst" >> .debug_script
        echo "install_printer CicMetaSubst.fppterm" >> .debug_script
        echo "install_printer CicMetaSubst.fppmetasenv" >> .debug_script
-       $(OCAMLDEBUG) \
+       ledit $(OCAMLDEBUG) \
                -source .debug_script \
                $(shell $(OCAMLFIND) query -recursive -i-format $(REQUIRES)) \
                $(MAIN) $(ARGS)