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/System/isabelle_system.scala
changeset 71734 713fafb3de79
parent 71733 6c470c918aad
child 71739 c0bc99aad936 
--- a/src/Pure/System/isabelle_system.scala	Wed Apr 08 13:14:05 2020 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Apr 08 14:06:26 2020 +0200
@@ -380,7 +380,9 @@
       def err(msg: String): Nothing =
         error("Bad entry " + quote(name) + " in " + variable + "\n" + msg)
 
-      try { Class.forName(name).asInstanceOf[Class[A]].newInstance() }
+      try {
+        Class.forName(name).asInstanceOf[Class[A]].getDeclaredConstructor().newInstance()
+      }
       catch {
         case _: ClassNotFoundException => err("Class not found")
         case exn: Throwable => err(Exn.message(exn))
isabelle