diff options
Diffstat (limited to 'kernel/safe_typing.ml')
-rw-r--r-- | kernel/safe_typing.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/safe_typing.ml b/kernel/safe_typing.ml index e07833204..12c82e20d 100644 --- a/kernel/safe_typing.ml +++ b/kernel/safe_typing.ml @@ -955,7 +955,7 @@ let set_strategy e k l = { e with env = open Retroknowledge -(* the Environ.register function syncrhonizes the proactive and reactive +(* the Environ.register function synchronizes the proactive and reactive retroknowledge. *) let dispatch = |