src/Pure/General/untyped.scala

--- a/src/Pure/General/untyped.scala	Mon Mar 01 22:50:00 2021 +0100
+++ b/src/Pure/General/untyped.scala	Mon Mar 01 23:17:47 2021 +0100
@@ -47,7 +47,7 @@
         field.setAccessible(true)
         field
       }
-    if (iterator.hasNext) iterator.next
+    if (iterator.hasNext) iterator.next()
     else error("No field " + quote(x) + " for " + obj)
   }