diff --git a/src/sw/driver/driver.cpp b/src/sw/driver/driver.cpp index 15c20dd8..67ea81a8 100644 --- a/src/sw/driver/driver.cpp +++ b/src/sw/driver/driver.cpp @@ -413,7 +413,7 @@ std::vector> Driver::detectInputs(const path &p, InputTyp { if (c.starts_with("//cpp") || c.starts_with("// cpp")) { - auto fn = path{SW_BINARY_DIR} / "spec" / p.stem() += std::format("_{}.cpp", std::hash()(p)); + auto fn = path{SW_BINARY_DIR} / "spec" / p.stem() += ("_"s + std::to_string(std::hash()(p)) + ".cpp"); write_file_if_different(fn, c); SpecificationFiles f;