# HG changeset patch
# User traytel
# Date 1385457434 -3600
# Node ID d65c6d61363324f871b988f8eb2813a39d1e3808
# Parent  42b9baf50f8f694ff535b03d476d31c7c5fa133f
made SML/NJ happier

diff -r 42b9baf50f8f -r d65c6d613633 src/Tools/subtyping.ML
--- a/src/Tools/subtyping.ML	Tue Nov 26 09:49:52 2013 +0100
+++ b/src/Tools/subtyping.ML	Tue Nov 26 10:17:14 2013 +0100
@@ -129,7 +129,8 @@
 
 infixr ++> +@> (* lazy error msg composition *)
 
-fun err ++> prt = err #> apsnd (cons prt);
+fun (err : unit -> string * Pretty.T list) ++> (prt : Pretty.T) =
+  err #> apsnd (cons prt);
 val op +@> = Library.foldl op ++>;
 
 fun eval_err err = err ()