From 3b810c06bbe9036ec38924575747123ba267f388 Mon Sep 17 00:00:00 2001 From: myfreess Date: Mon, 16 Dec 2024 15:00:25 +0800 Subject: [PATCH] fix source/diff part2 & part3 --- next/sources/diff/src/part2/edit.mbt | 2 +- next/sources/diff/src/part3/edit.mbt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/next/sources/diff/src/part2/edit.mbt b/next/sources/diff/src/part2/edit.mbt index 2757566d..6bfe3a18 100644 --- a/next/sources/diff/src/part2/edit.mbt +++ b/next/sources/diff/src/part2/edit.mbt @@ -46,7 +46,7 @@ fn pprint_diff(diff : Array[Edit]) -> String { buf.write_string(pprint_edit(diff[i - 1])) buf.write_char('\n') } else { - buf.to_unchecked_string() + buf.contents().to_unchecked_string() } } // end pprint definition \ No newline at end of file diff --git a/next/sources/diff/src/part3/edit.mbt b/next/sources/diff/src/part3/edit.mbt index dd28993c..451c83a5 100644 --- a/next/sources/diff/src/part3/edit.mbt +++ b/next/sources/diff/src/part3/edit.mbt @@ -43,7 +43,7 @@ fn pprint_diff(diff : Array[Edit]) -> String { buf.write_string(pprint_edit(diff[i])) buf.write_char('\n') } else { - buf.to_unchecked_string() + buf.contents().to_unchecked_string() } } // end pprint definition \ No newline at end of file