diff options
| -rw-r--r-- | tactics/g_rewrite.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/g_rewrite.ml4 b/tactics/g_rewrite.ml4 index 5c46fdf2a7..57dba7d61d 100644 --- a/tactics/g_rewrite.ml4 +++ b/tactics/g_rewrite.ml4 @@ -104,7 +104,7 @@ END (* By default the strategy for "rewrite_db" is top-down *) -let db_strat db = StratUnary ("topdown", StratHints (false, db)) +let db_strat db = StratUnary (Topdown, StratHints (false, db)) let cl_rewrite_clause_db db = cl_rewrite_clause_strat (strategy_of_ast (db_strat db)) let cl_rewrite_clause_db = |