diff options
| -rw-r--r-- | library/lib.ml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/library/lib.ml b/library/lib.ml index 712292812d..a22f893535 100644 --- a/library/lib.ml +++ b/library/lib.ml @@ -188,11 +188,13 @@ let reset_to sp = recache_context after let reset_name id = - try - let (sp,_) = find_entry_p (fun (sp,_) -> id = basename sp) in - reset_to sp - with Not_found -> - error (string_of_id id ^ ": no such entry") + let (sp,_) = + try + find_entry_p (fun (sp,_) -> id = basename sp) + with Not_found -> + error (string_of_id id ^ ": no such entry") + in + reset_to sp let is_section_p sp = dirpath_prefix_of sp !path_prefix |