make SML/NJ happier;
authorwenzelm
Fri Apr 25 17:54:54 2014 +0200 (2014-04-25)
changeset 56722ba1ac087b3a7
parent 56721 f2ffead641d4
child 56723 a8f71445c265
child 56728 6dc97c5aaf5e
make SML/NJ happier;
src/HOL/Tools/Transfer/transfer.ML
     1.1 --- a/src/HOL/Tools/Transfer/transfer.ML	Fri Apr 25 14:39:11 2014 +0200
     1.2 +++ b/src/HOL/Tools/Transfer/transfer.ML	Fri Apr 25 17:54:54 2014 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4  
     1.5  type pred_data = {rel_eq_onp: thm}
     1.6  
     1.7 -val rel_eq_onp = #rel_eq_onp
     1.8 +val rel_eq_onp: pred_data -> thm = #rel_eq_onp
     1.9  
    1.10  structure Data = Generic_Data
    1.11  (