3 Commits

Include renames

Author	SHA1	Message	Date
Tom Hubrecht	a39ba22ff7	util.hh: Delete remaining file and clean up headers ... Change-Id: Ic1f68e6af658e94ef7922841dd3ad4c69551ef56	2024-05-29 12:38:51 +02:00
Théophane Hufschmitt	b2247ef4f6	Don't assume the type of string::size_type ... The code accidentally conflated `std::string::size_type` and `long unsigned int`. This was fine on 64bits machines where they are apparently the same in practice, but not on 32bits. Fix that by using `std::string::size_type` everywhere.	2023-06-15 21:24:14 +02:00
Théophane Hufschmitt	3ebe1341ab	Make RewritingSink accept a map of rewrites ... Giving it the same semantics as `rewriteStrings`. Also add some tests for it	2023-05-24 14:11:50 +02:00