just changed function to_string() in plan.ml