query: incorrect partial application of Tactics.search

Fixes #69
abella-prover · Nov 17, 2016 · 753ad5c · 753ad5c
1 parent 8e89512
commit 753ad5c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/abella.ml b/src/abella.ml
@@ -426,6 +426,7 @@ let query q =
           ~clauses:!clauses
           ~def_unfold:Prover.def_unfold
           ~retype
+          ~sr:!sr
           ~sc:(fun w ->
               fprintf !out "Found solution:\n" ;
               List.iter