diff -r 495448cca603 -r 6aa955ad8122 src/mapping/dataterm.rs --- a/src/mapping/dataterm.rs Thu May 01 08:40:33 2025 -0500 +++ b/src/mapping/dataterm.rs Thu May 01 13:06:58 2025 -0500 @@ -70,7 +70,7 @@ } } -//+ AdjointProductBoundedBy, P, FloatType = F>, +//+ AdjointProductBoundedBy, P, FloatType = F>, impl Mapping for DataTerm where