# HG changeset patch
# User haftmann
# Date 1150881829 -7200
# Node ID 18b4e43ac5836acd7a905f29907fdd9bd7ff53ea
# Parent  604c203beb3a7fb99fdb2195cfc19699480c34f5
fixed error bug

diff -r 604c203beb3a -r 18b4e43ac583 src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Wed Jun 21 11:23:06 2006 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML	Wed Jun 21 11:23:49 2006 +0200
@@ -267,7 +267,7 @@
       else (warning ("in function " ^ quote name ^ ", throwing away one "
         ^ "non-executable function clause"); NONE)
   in case map_filter check_eq eqs
-   of [] => error ("in function " ^ quote name ^ ", no"
+   of [] => error ("in function " ^ quote name ^ ", no "
         ^ "executable function clauses found")
     | eqs => (name, (eqs, ty))
   end;