Changeset c94b1f0 for src/Common/utility.h
- Timestamp:
- Mar 23, 2023, 1:50:38 PM (13 months ago)
- Branches:
- ADT, ast-experimental, master
- Children:
- 056bee8
- Parents:
- d800676
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Common/utility.h
rd800676 rc94b1f0 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.