Update config file name

This commit is contained in:
2024-04-03 12:46:01 +02:00
parent 212a377ed6
commit 24e37fcbf1
5 changed files with 10 additions and 4 deletions

View File

@@ -4,7 +4,7 @@
#include <map>
#include <random>
#include <vector>
#include "config.h"
#include "config_folding.h"
namespace folding {
class Fold {
protected: