diff options
| -rw-r--r-- | tactics/eqschemes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/eqschemes.ml b/tactics/eqschemes.ml index 728f3fd72e..6707635669 100644 --- a/tactics/eqschemes.ml +++ b/tactics/eqschemes.ml @@ -174,7 +174,7 @@ let build_sym_scheme env ind = [|cstr (nrealargs+1)|])))) let sym_scheme_kind = - declare_individual_scheme_object "_sym" + declare_individual_scheme_object "_sym_internal" (fun ind -> build_sym_scheme (Global.env() (* side-effect! *)) ind) (**********************************************************************) |