# HG changeset patch
# User paulson
# Date 838376842 -7200
# Node ID a525e960f2bd6044860c9d8a453da261d24b9c90
# Parent  661603db8ee2dcfb4bd68ab2bf2311ea45c6f7af
Inserted spaces in error messages to improve readability

diff -r 661603db8ee2 -r a525e960f2bd src/Pure/sign.ML
--- a/src/Pure/sign.ML	Fri Jul 26 12:26:32 1996 +0200
+++ b/src/Pure/sign.ML	Fri Jul 26 12:27:22 1996 +0200
@@ -229,7 +229,7 @@
            Some(S') => if S=S' then tvars
                        else raise_type
                             ("Type variable "^Syntax.string_of_vname a^
-                             "has two distinct sorts") [TVar(a,S'),T] []
+                             " has two distinct sorts") [TVar(a,S'),T] []
          | None => v::tvars));
 
 (* check for duplicate Vars with distinct types *)
@@ -242,7 +242,7 @@
                Some(T') => if T=T' then (vars,nodup_TVars(tvars,T))
                            else raise_type
                              ("Variable "^Syntax.string_of_vname ixn^
-                              "has two distinct types") [T',T] []
+                              " has two distinct types") [T',T] []
              | None => (v::vars,tvars))
         | Bound _ => (vars,tvars)
         | Abs(_,T,t) => nodups vars (nodup_TVars(tvars,T)) t