Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_load.scala
changeset 50641 b908e56e83ca
parent 50566 b43c4f660320
child 51293 05b1bbae748d 
--- a/src/Pure/Thy/thy_load.scala	Sun Dec 30 18:23:07 2012 +0100
+++ b/src/Pure/Thy/thy_load.scala	Sun Dec 30 18:23:31 2012 +0100
@@ -117,7 +117,7 @@
       val uses = header.uses
       Document.Node.Header(imports, header.keywords, uses)
     }
-    catch { case e: Throwable => Document.Node.bad_header(Exn.message(e)) }
+    catch { case exn: Throwable => Document.Node.bad_header(Exn.message(exn)) }
   }
 
   def check_thy(name: Document.Node.Name): Document.Node.Header =
isabelle