diff options
| -rw-r--r-- | scumm/script_v72he.cpp | 2 | 
1 files changed, 0 insertions, 2 deletions
| diff --git a/scumm/script_v72he.cpp b/scumm/script_v72he.cpp index de200650d0..49543dc245 100644 --- a/scumm/script_v72he.cpp +++ b/scumm/script_v72he.cpp @@ -2152,8 +2152,6 @@ void ScummEngine_v72he::o72_writeINI() {  		error("o72_writeINI: default type %d", type);  	} -	debug(0, "o72_writeINI: option %s", option); -  	ConfMan.flushToDisk();  } | 
