From 5760567fe99429445deb022587b75580aa555d8c Mon Sep 17 00:00:00 2001
From: Jussi Kuokkanen <jussi.kuokkanen@protonmail.com>
Date: Thu, 28 Sep 2023 22:14:42 +0300
Subject: [PATCH] bump FunctionalPlus

---
 src/include/deps/FunctionalPlus | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/include/deps/FunctionalPlus b/src/include/deps/FunctionalPlus
index e306dee..25363e3 160000
--- a/src/include/deps/FunctionalPlus
+++ b/src/include/deps/FunctionalPlus
@@ -1 +1 @@
-Subproject commit e306deecd519c2358b4f338c88b2bc269552c78a
+Subproject commit 25363e38172db64a744c4983cc2a5088838cb519