Merge 603dacf69e902ec12f1b0ee4fede848f23e7f7e0 into 0e72911ba0f37f3eb883b181b855a5f4eb046ca1

This commit is contained in:
Nahuel Gaitan 2026-01-01 22:49:09 -03:00 committed by GitHub
commit 6af1237cb0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 4 additions and 0 deletions

View File

@ -239,6 +239,7 @@ you might use:
#ifdef GHC_USE_STD_FS
#include <filesystem>
#include <fstream>
namespace fs {
using namespace std::filesystem;
using ifstream = std::ifstream;
@ -318,6 +319,7 @@ switching like this:
#ifdef GHC_USE_STD_FS
#include <filesystem>
#include <fstream>
namespace fs {
using namespace std::filesystem;
using ifstream = std::ifstream;

View File

@ -58,6 +58,7 @@
#ifdef GHC_USE_STD_FS
#include <filesystem>
#include <fstream>
namespace fs {
using namespace std::filesystem;
using ifstream = std::ifstream;

View File

@ -60,6 +60,7 @@
#ifdef GHC_USE_STD_FS
#include <filesystem>
#include <fstream>
namespace fs {
using namespace std::filesystem;
using ifstream = std::ifstream;