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