changeset 30190 | 479806475f3c |
parent 29267 | 8615b4f54047 |
child 30510 | 4120fc59dd85 |
--- a/src/Provers/classical.ML Sun Mar 01 16:48:06 2009 +0100 +++ b/src/Provers/classical.ML Sun Mar 01 23:36:12 2009 +0100 @@ -223,7 +223,7 @@ let fun addrl (rl,brls) = (false, rl) :: (true, rl RSN (2, Data.swap)) :: brls in assume_tac ORELSE' contr_tac ORELSE' - biresolve_tac (foldr addrl [] rls) + biresolve_tac (List.foldr addrl [] rls) end; (*Duplication of hazardous rules, for complete provers*)