diff options
| -rw-r--r-- | library/lib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/lib.ml b/library/lib.ml index 7d7e9e2c81..5e687b9707 100644 --- a/library/lib.ml +++ b/library/lib.ml @@ -184,7 +184,7 @@ let reset_to sp = | _ -> assert false in let (after,_,_) = split_lib spf in - recache_context (List.rev after) + recache_context after let reset_name id = try |