From 72bd4a8f5afa5989773cd493ebd3b15bbaf47a97 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 30 Nov 2015 11:25:17 -0700 Subject: [PATCH] fix(library/blast/options): typo --- src/library/blast/options.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/blast/options.cpp b/src/library/blast/options.cpp index 8c1a15585a..e14068d19a 100644 --- a/src/library/blast/options.cpp +++ b/src/library/blast/options.cpp @@ -166,7 +166,7 @@ void initialize_options() { "(blast) enable recursor action"); register_bool_option(*blast::g_blast_ematch, LEAN_DEFAULT_BLAST_EMATCH, "(blast) enable heuristic instantiation based on e-matching"); - register_bool_option(*blast::g_blast_ematch, LEAN_DEFAULT_BLAST_BACKWARD, + register_bool_option(*blast::g_blast_backward, LEAN_DEFAULT_BLAST_BACKWARD, "(blast) enable backward chaining"); register_bool_option(*blast::g_blast_show_failure, LEAN_DEFAULT_BLAST_SHOW_FAILURE, "(blast) show failure state");