diff options
-rw-r--r-- | _tags | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ "tactics/tauto.ml4": use_grammar "tactics/eqdecide.ml4": use_grammar "tactics/hipattern.ml4": use_grammar, use_constr - +"tactics/rewrite.ml4": use_grammar ## sub-directory inclusion |