diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
index bac20c52e..47b55eadc 100644
--- a/refs/heads/dev-huji
+++ b/refs/heads/dev-huji
@@ -1 +1 @@
-UPDATE 049aad2262d96760472da8b9c5fc6c5e1a571893 07055a98e8f4bf7154ab5920b8239740aeb5f6ca
\ No newline at end of file
+UPDATE 07055a98e8f4bf7154ab5920b8239740aeb5f6ca 49fc97dfe8d48175db34728d5dd0f08f6164fb08
\ No newline at end of file