diff --git a/project/Build.scala b/project/Build.scala
index 497cbb33afe9a02b9168c55e4d5d47a2473d8d43..1b805f4e4109219438e8d7942cfc0eacf83321b2 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -77,6 +77,6 @@ object Leon extends Build {
   ).dependsOn(Github.bonsai)
 
   object Github {
-    lazy val bonsai = RootProject(uri("git://github.com/colder/bonsai.git#f52c898960bbb343b2138b896f9297848dc2bdb0"))
+    lazy val bonsai = RootProject(uri("git://github.com/colder/bonsai.git#8f485605785bda98ac61885b0c8036133783290a"))
   }
 }