diff options
| -rw-r--r-- | parsing/search.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/search.ml b/parsing/search.ml index 96d35cc46c..c0dfb8e500 100644 --- a/parsing/search.ml +++ b/parsing/search.ml @@ -110,7 +110,7 @@ let filter_by_module module_list accept _ _ c = with No_section_path -> false -let gref_eq = IndRef (make_path ["Logic"] (id_of_string "eq") CCI, 0) +let gref_eq = IndRef (make_path ["Coq";"Init";"Logic"] (id_of_string "eq") CCI, 0) let mk_rewrite_pattern1 pattern = PApp (PRef gref_eq, [| PMeta None; pattern; PMeta None |]) |