Remove ob-sml