diff --git a/thirdparty/optframe-external b/thirdparty/optframe-external index 3c56a0c..707f613 160000 --- a/thirdparty/optframe-external +++ b/thirdparty/optframe-external @@ -1 +1 @@ -Subproject commit 3c56a0c8ce795aff8b563ba626faa11a94cae9cf +Subproject commit 707f613f18bb1443c890a255ddc8fadf6f3d4aa1