| … | … | @@ -29,7 +29,6 @@ |
| 29 | 29 | #include <limits> |
| 30 | 30 | #include <type_traits> |
| 31 | 31 | |
| 32 | #include <opencog/util/dorepeat.h> | |
| 33 | 32 | #include <opencog/util/RandGen.h> |
| 34 | 33 | #include <opencog/util/mt19937ar.h> |
| 35 | 34 | #include <opencog/util/numeric.h> |
| … | … | @@ -134,7 +133,7 @@ static inline std::string randstr(const std::string& prefix=std::string(), |
| 134 | 133 | { |
| 135 | 134 | std::stringstream ss; |
| 136 | 135 | ss << prefix << std::setbase(base); |
| 137 | dorepeat(n) | |
| 136 | for (int j=0; j<n; j++) | |
| 138 | 137 | ss << rng.randint(); |
| 139 | 138 | return ss.str(); |
| 140 | 139 | } |