diff options
Diffstat (limited to 'tactics/autorewrite.ml')
-rw-r--r-- | tactics/autorewrite.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/autorewrite.ml b/tactics/autorewrite.ml index 04c4ed161..63481abde 100644 --- a/tactics/autorewrite.ml +++ b/tactics/autorewrite.ml @@ -224,7 +224,7 @@ let subst_hintrewrite (_,subst,(rbase,list as node)) = if list' == list then node else (rbase,list') -let classify_hintrewrite (_,x) = Libobject.Substitute x +let classify_hintrewrite x = Libobject.Substitute x (* Declaration of the Hint Rewrite library object *) |