diff options
Diffstat (limited to 'library/lib.ml')
| -rw-r--r-- | library/lib.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/library/lib.ml b/library/lib.ml index f456f2410..ea22acca5 100644 --- a/library/lib.ml +++ b/library/lib.ml @@ -526,7 +526,8 @@ let declare_initial_state () = let reset_initial () = match !initial_state with - | None -> init () + | None -> + error "Resetting to the initial state is possible only interactively" | Some sp -> begin match split_lib sp with | (_,[_,FrozenState fs as hd],before) -> |