Updates banana.
[platal.git] / banana
diff --git a/banana b/banana
index 9bd9df1..a48027e 160000 (submodule)
--- a/banana
+++ b/banana
@@ -1 +1 @@
-Subproject commit 9bd9df1eace08648ddf2616d3008631f2b697474
+Subproject commit a48027e640560bcdf5767fc6262b3556f87cac5d