src/Pure/General/sql.scala

     }
 
     def execute(): Boolean = rep.execute()
     def execute_query(): Result = new Result(this, rep.executeQuery())
 
-    def close(): Unit = rep.close()
+    override def close(): Unit = rep.close()
   }
 
 
   /* results */
 

             }
         }
       }
       else None
 
-    def close(): Unit = connection.close()
+    override def close(): Unit = connection.close()
 
     def transaction[A](body: => A): A = {
       val auto_commit = connection.getAutoCommit()
       try {
         connection.setAutoCommit(false)