From 77b9a289295b95cd6c20e0a8cf462d035939c12d Mon Sep 17 00:00:00 2001
From: Florian Loitsch <florian@loitsch.com>
Date: Mon, 13 Apr 2026 22:16:24 +0200
Subject: [PATCH] Fix warning.

---
 src/options_.toit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/options_.toit b/src/options_.toit
index cc6423d..f581962 100644
--- a/src/options_.toit
+++ b/src/options_.toit
@@ -9,7 +9,7 @@ import host.pipe
 import io
 import uuid show Uuid
 
-import .cli show Command
+import .cli show Command Invocation
 import .completion_ show DIRECTIVE-FILE-COMPLETION_ DIRECTIVE-DIRECTORY-COMPLETION_
 import .ui
 import .utils_ show to-kebab