1 files changed, 2 insertions, 0 deletions
diff --git a/src/sp_config.h b/src/sp_config.h
index ba1542c..0ccd11e 100644
--- a/src/sp_config.h
+++ b/src/sp_config.h
@@ -45,6 +45,8 @@ typedef struct {
 typedef struct {
  bool enable;
  bool simulation;
+  char *dump;
+  char *textual_representation;
 } sp_config_readonly_exec;
 typedef struct { bool enable; } sp_config_global_strict;

diff --git a/src/sp_config.h b/src/sp_config.h index ba1542c..0ccd11e 100644 --- a/src/sp_config.h +++ b/src/sp_config.h
@@ -45,6 +45,8 @@ typedef struct {
45	typedef struct {	45	typedef struct {
46	bool enable;	46	bool enable;
47	bool simulation;	47	bool simulation;
		48	char *dump;
		49	char *textual_representation;
48	} sp_config_readonly_exec;	50	} sp_config_readonly_exec;
49		51
50	typedef struct { bool enable; } sp_config_global_strict;	52	typedef struct { bool enable; } sp_config_global_strict;