Delete krivineDemo.sml