diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 23bf39f9..4f4e9619 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -9,7 +9,7 @@
       ]
     },
     "microsoft.coyote.cli": {
-      "version": "1.5.4",
+      "version": "1.5.5",
       "commands": [
         "coyote"
       ]
diff --git a/Common/version.props b/Common/version.props
index 19d1c06a..a5f1e09b 100644
--- a/Common/version.props
+++ b/Common/version.props
@@ -2,7 +2,7 @@
 <!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix. -->
 <Project>
   <PropertyGroup>
-    <VersionPrefix>1.5.4</VersionPrefix>
+    <VersionPrefix>1.5.5</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>
diff --git a/History.md b/History.md
index 73f896e3..60ed51b3 100644
--- a/History.md
+++ b/History.md
@@ -1,3 +1,6 @@
+## v1.5.5
+- Fixed a bug in `coyote rewrite`.
+
 ## v1.5.4
 - Significantly improved runtime performance during partially-controlled concurrency testing.
 
diff --git a/Tests/compare-rewriting-diff-logs.ps1 b/Tests/compare-rewriting-diff-logs.ps1
index b80d435a..0bc18b79 100644
--- a/Tests/compare-rewriting-diff-logs.ps1
+++ b/Tests/compare-rewriting-diff-logs.ps1
@@ -13,11 +13,11 @@ $targets = [ordered]@{
 }
 
 $expected_hashes = [ordered]@{
-    "rewriting" = "94CB82B43AF42A1A33E3CD069666CE6A010360DBCD4CCA9658DFD6F8CB6DD768"
-    "rewriting-helpers" = "EB0EE2DFD359775B5E6B29E11F2EC8163BF09D3F22913C7B6845FBD2061EE6AD"
-    "testing" = "96EF9321E679491AC87BBCE6AF3F59E3F50C82123B2435B28752CB7932C1EDDB"
-    "actors" = "DE29F18437BD0D3FE241CECA26AE9496C3DC80155FC5C7A7E9CCD82DE1421DA1"
-    "actors-testing" = "1E3373EFE219DA1E6167D2F0658321651D941FD0E4A67A1CE68C38BF73903D6E"
+    "rewriting" = "42815777DA892B23E9BF102E26F704B4C07673D43FD8AF46D652EEBAA1C6CA30"
+    "rewriting-helpers" = "CDEF898605A6140D34D221590FD42A0CFA9FAA8A92EBB71BF836068A1FE70EC4"
+    "testing" = "53A7B12024D3F46696FE6C9FA69029A93AAECA303FC35EFE1E003913DD81B87D"
+    "actors" = "F45C2DC7090C908F2F083896304E9A4132541CB9C2809284285A66913936D9ED"
+    "actors-testing" = "4682FE931C41D8CAC7FC4799CA602FC7BFA6FFACD589A5777345D7EF166CDF78"
 }
 
 Write-Comment -prefix "." -text "Comparing the test rewriting diff logs" -color "yellow"