From 6d2158ff5eebe04521adea1867e1503d71be77fb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Wed, 29 Jan 2025 16:26:19 +0100 Subject: [PATCH] workaround for https://github.com/enso-org/enso/issues/12180 --- distribution/lib/Standard/Table/0.0.0-dev/src/Table.enso | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Table.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Table.enso index a8bfee2eb754..90e88a4dc7e3 100644 --- a/distribution/lib/Standard/Table/0.0.0-dev/src/Table.enso +++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Table.enso @@ -242,8 +242,12 @@ type Table A table. Arguments: - - java_table: The internal java representation of the table. - private Value java_table + - internal_java_table: The internal java representation of the table. + private Value internal_java_table + + ## PRIVATE + A getter that is a workaround for bug https://github.com/enso-org/enso/issues/12180 + private java_table self = self.internal_java_table ## PRIVATE ADVANCED