diff options
Diffstat (limited to 'tactics/setoid_replace.ml')
| -rw-r--r-- | tactics/setoid_replace.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tactics/setoid_replace.ml b/tactics/setoid_replace.ml index e278ec2433..f25687391c 100644 --- a/tactics/setoid_replace.ml +++ b/tactics/setoid_replace.ml @@ -31,6 +31,7 @@ open Safe_typing open Nametab open Decl_kinds open Constrintern +open Mod_subst let replace = ref (fun _ _ -> assert false) let register_replace f = replace := f |