path: root/test-suite/ide/debug_ltac.fake

FAILADD { Debug On. }
ADD { Set Debug On. }