diff options
| -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 f456f2410b..ea22acca5f 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) -> |