diff options
| author | Maxime Dénès | 2017-03-22 00:36:51 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-22 00:36:51 +0100 |
| commit | 151286ec0c0887d212e7e85205352de4ddbf4bf2 (patch) | |
| tree | fc359fce2dbbfdc5250f9089079a8ad60cb1fbb4 /kernel | |
| parent | 28d3bb3c8bddc63d038d8d55a34c928675fa9f7b (diff) | |
| parent | b087d133f7d6d091cce72190c05a9a09d5b37791 (diff) | |
Merge PR#482: [toplevel] Remove unusable option -notop
Diffstat (limited to 'kernel')
| -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 e4b3fcbf1a..2312f891c5 100644 --- a/kernel/safe_typing.ml +++ b/kernel/safe_typing.ml @@ -71,7 +71,7 @@ module NamedDecl = Context.Named.Declaration - [env] : the underlying environment (cf Environ) - [modpath] : the current module name - [modvariant] : - * NONE before coqtop initialization (or when -notop is used) + * NONE before coqtop initialization * LIBRARY at toplevel of a compilation or a regular coqtop session * STRUCT (params,oldsenv) : inside a local module, with module parameters [params] and earlier environment [oldsenv] |