diff options
Diffstat (limited to 'tactics/auto.ml')
| -rw-r--r-- | tactics/auto.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/auto.ml b/tactics/auto.ml index f167a91a30..f580f839c2 100644 --- a/tactics/auto.ml +++ b/tactics/auto.ml @@ -825,7 +825,7 @@ let prepare_hint env (sigma,c) = let path_of_constr_expr c = match c with - | Topconstr.CRef r -> (try PathHints [global r] with _ -> PathAny) + | Constrexpr.CRef r -> (try PathHints [global r] with _ -> PathAny) | _ -> PathAny let interp_hints h = |