diff --git a/[refs] b/[refs]
index 084d6083db7..3d4d0e66af4 100644
--- a/[refs]
+++ b/[refs]
@@ -123,7 +123,7 @@ refs/heads/symex-type-renaming4: 600ba5bdcc86dff4cf68099bb16fd8629dc12eec
 refs/heads/test-issue-3653: 379155721d0e6756000898d3d80f9d41aac0a95a
 refs/heads/type-cleanup2: f1980e47f0dc6dd1526d92d660fcea1428204be7
 refs/heads/type-equality: 7a744e6b50540ee9797618077651162a8581bc0e
-refs/heads/type-of-boolean-ops: ee07f0a470a7b330b6b318e3446c01844a336747
+refs/heads/type-of-boolean-ops: 05769c02ab79401d17e3ee963ceb183bd82c5f42
 refs/heads/unwind-counters4: 57aedaa3fe3995b30ba69c96c9f04df79f8e8ff8
 "refs/heads/use_make_X5": e5f49319d259411f754c149ed371459f426ba855
 "refs/heads/use_object_size_for_heap": b0875f62cd33a7caf08fc5889cf660e24b069bf2