From ad86932abc23df9139065d453771a190df365928 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 11 Sep 2014 22:07:12 +0200
Subject: Oopps.. fixed the .ml not the .ml4

---
 tactics/g_rewrite.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 = 
-- 
cgit v1.2.3