}
template<>
-Std_string
+std::string
Interval_t<Real>::T_to_string (Real r)
{
- return ::to_string (r);
+ return std::to_string (r);
}
template<>
}
template<>
-Std_string
+std::string
Interval_t<int>::T_to_string (int i)
{
- return ::to_string (i);
+ return std::to_string (i);
}
template INTERVAL__INSTANTIATE (int);