diff options
| -rw-r--r-- | contrib/ring/ring.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ring/ring.ml b/contrib/ring/ring.ml index cac953b38f..cada4f3fca 100644 --- a/contrib/ring/ring.ml +++ b/contrib/ring/ring.ml @@ -147,7 +147,7 @@ let (theory_to_obj, obj_to_theory) = let cache_th (_,(c, th)) = theories_map_add (c,th) and spec_th x = x in declare_object ("tactic-ring-theory", - { load_function = (fun _ -> ()); + { load_function = cache_th; open_function = (fun _ -> ()); cache_function = cache_th; specification_function = spec_th }) |