1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 12e9785a..fa687278 100644
--- a/CHANGES
+++ b/CHANGES
@@ -157,7 +157,7 @@ Internal changes for developers to note
   Previously it would load again, possibly altering settings.
 
 * Multiple file handling improvements:
-   Added proof-inform-file-processed-cmd setting to 
+   Added proof-shell-inform-file-processed-cmd setting to 
    tell the prover about files which are processed completely 
    inside Proof General.