Changeset 1633e04 for src/Common/utility.h
- Timestamp:
- Mar 24, 2023, 4:44:50 PM (2 years ago)
- Branches:
- ADT, ast-experimental, master
- Children:
- 75d874a
- Parents:
- d30e3eb (diff), 056bee8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Common/utility.h
rd30e3eb r1633e04 190 190 } 191 191 192 template< typename... Params >193 void warn( const Params & ... params ) {194 std::cerr << "Warning: ";195 toString_single( std::cerr, params... );196 std::cerr << std::endl;197 }198 199 192 // determines if pref is a prefix of str 200 193 static inline bool isPrefix( const std::string & str, const std::string & pref, unsigned int start = 0 ) {
Note:
See TracChangeset
for help on using the changeset viewer.