| changeset 62876 | 507c90523113 |
| parent 62716 | d80b9f4990e4 |
| child 62889 | 99c7f31615c2 |
--- a/src/Tools/Spec_Check/spec_check.ML Tue Apr 05 19:41:58 2016 +0200 +++ b/src/Tools/Spec_Check/spec_check.ML Tue Apr 05 20:03:24 2016 +0200 @@ -192,5 +192,5 @@ end; -fun check_property s = Spec_Check.check_property (ML_Context.the_local_context ()) s; +fun check_property s = Spec_Check.check_property (Context.the_local_context ()) s;