diff options
Diffstat (limited to 'contrib/ring/ring.ml')
-rw-r--r-- | contrib/ring/ring.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ring/ring.ml b/contrib/ring/ring.ml index ac3274ae7..f73cc164b 100644 --- a/contrib/ring/ring.ml +++ b/contrib/ring/ring.ml @@ -181,6 +181,7 @@ let _ = { Summary.freeze_function = (fun () -> !theories_map); Summary.unfreeze_function = (fun t -> theories_map := t); Summary.init_function = (fun () -> theories_map := Cmap.empty); + Summary.survive_module = false; Summary.survive_section = false } (* declare a new type of object in the environment, "tactic-ring-theory" |