| changeset 60097 | d20ca79d50e4 |
| parent 59970 | e9f73d87d904 |
| child 60618 | 4c79543cc376 |
--- a/src/Provers/classical.ML Thu Apr 16 15:11:04 2015 +0200 +++ b/src/Provers/classical.ML Thu Apr 16 15:22:44 2015 +0200 @@ -980,6 +980,6 @@ val _ = Outer_Syntax.command @{command_keyword print_claset} "print context of Classical Reasoner" - (Scan.succeed (Toplevel.unknown_context o Toplevel.keep (print_claset o Toplevel.context_of))); + (Scan.succeed (Toplevel.keep (print_claset o Toplevel.context_of))); end;