# HG changeset patch
# User wenzelm
# Date 1414230815 -7200
# Node ID 7305bad408b5132261388b8fbf690cab487c4de7
# Parent  c385da5c665edc6bfddf808c0847823c5778a04f
made SML/NJ happy;

diff -r c385da5c665e -r 7305bad408b5 src/HOL/Tools/Transfer/transfer_bnf.ML
--- a/src/HOL/Tools/Transfer/transfer_bnf.ML	Fri Oct 24 20:49:23 2014 +0200
+++ b/src/HOL/Tools/Transfer/transfer_bnf.ML	Sat Oct 25 11:53:35 2014 +0200
@@ -316,7 +316,7 @@
     SOME data => data
     | NONE => (error "lookup_pred_data: something went utterly wrong")
 
-fun lives_of_fp fp_sugar =
+fun lives_of_fp (fp_sugar: fp_sugar) =
   let
     val As = snd (dest_Type (#T fp_sugar))
     val liveness = liveness_of_fp_bnf (length As) (hd (#bnfs (#fp_res fp_sugar)));