# HG changeset patch
# User haftmann
# Date 1167937262 -3600
# Node ID 6d368bd94d664079d5078ba0b7a7141c7a61e8f2
# Parent  9dc365b035730842c476f1fbd72c6e0c18bc9ecf
clarification

diff -r 9dc365b03573 -r 6d368bd94d66 src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Thu Jan 04 20:01:01 2007 +0100
+++ b/src/Pure/Tools/codegen_serializer.ML	Thu Jan 04 20:01:02 2007 +0100
@@ -1608,7 +1608,7 @@
   #> add_serializer (target_diag, (fn _ => fn _ => seri_diagnosis))
 );
 
-fun get_serializer thy target args cs =
+fun get_serializer thy target args = fn cs =>
   let
     val data = case Symtab.lookup (CodegenSerializerData.get thy) target
      of SOME data => data
@@ -1668,7 +1668,7 @@
 fun has_serialization f thy targets name =
   forall (
     is_some o (fn tab => Symtab.lookup tab name) o f o the_syntax_expr o the
-      o (Symtab.lookup ((CodegenSerializerData.get) thy))
+      o Symtab.lookup (CodegenSerializerData.get thy)
   ) targets;
 
 val tyco_has_serialization = has_serialization #tyco;