From be6f5989a421d0f21f0e16529cbb0825e3344df8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= <radoslaw.wasko@enso.org>
Date: Fri, 24 Nov 2023 13:45:05 +0100
Subject: [PATCH] temporary workaround for #8384

---
 .../Standard/Table/0.0.0-dev/src/Excel/Excel_Workbook.enso   | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Excel/Excel_Workbook.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Excel/Excel_Workbook.enso
index ae1ad9084b48b..a1bb3138bfa7c 100644
--- a/distribution/lib/Standard/Table/0.0.0-dev/src/Excel/Excel_Workbook.enso
+++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Excel/Excel_Workbook.enso
@@ -52,9 +52,8 @@ type Excel_Workbook
        - file: Optional file reference.
     from_stream : Input_Stream -> Boolean -> Boolean | Infer -> File | Nothing -> Excel_Workbook
     from_stream stream xls_format=False headers=Infer file=Nothing = Excel_Reader.handle_bad_format file <|
-        stream.with_java_stream java_stream->
-            java_file = file # FIXME
-            Error.throw "TODO"
+        _ = [stream, xls_format, headers]
+        Error.throw "TODO"
 
     ## PRIVATE
        Creates an Excel_Workbook connection.