diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index 15c46bec1..d116f7221 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 5470217091cc04d79ec83104b3a249258ec6b92d 375e5ee4a5cf985104875408ae0b5f9cd772b34e
\ No newline at end of file
+UPDATE 375e5ee4a5cf985104875408ae0b5f9cd772b34e 5664d8c007928c5e49bfe128d607cac94fbcf146
\ No newline at end of file