Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed a syntax error!
authorpaulson
Mon, 30 Jan 2006 10:13:28 +0100
changeset 18853 afe45058241a
parent 18852 f1e2602ca7ba
child 18854 99124f3beccf
fixed a syntax error!
src/Pure/Tools/codegen_serializer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/codegen_serializer.ML	Mon Jan 30 08:47:38 2006 +0100
+++ b/src/Pure/Tools/codegen_serializer.ML	Mon Jan 30 10:13:28 2006 +0100
@@ -324,7 +324,7 @@
        of (es, IConst (c, _)) =>
             if c = thingol_nil
             then Pretty.enum "," "[" "]" (map (pr NOBR) (e1::es))
-            else pretty_default fxy pr e1 e2)
+            else pretty_default fxy pr e1 e2
         | _ => pretty_default fxy pr e1 e2;
   in ((2, 2), pretty_compact) end;
isabelle