tree 0cb4ba9fd77e4ce4e1f29ade97c36a408422f437
parent 1b27b6610c2d4677ce8c6e3ea109f5287f9bce30
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1705617955 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1739833176 +0100
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg3vg8qwvHVhPBrnx4YDqFxqFP3d
 j6luLZ1zAM1x55LLkAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQMVU3gklE3LQC7n+JA+6bjnzzZxBY5z1jV0rQtoACDOhJxI5X5O7J16HQWJTyi3IEh
 crVsspy7REgbNgkBLRBgM=
 -----END SSH SIGNATURE-----

Ensure DynamicCostFunctionToFunctor to be exported

Fixes #1022

Change-Id: I090790ac4a1f32e6cb318bc32273d63898659dc3