fixed "warning: prompt redefined"