Fix bad merge

jline · Oct 24, 2023 · 3f1fc0d · 3f1fc0d
1 parent fd03959
commit 3f1fc0d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/terminal/src/main/java/org/jline/terminal/TerminalBuilder.java b/terminal/src/main/java/org/jline/terminal/TerminalBuilder.java
@@ -34,6 +34,7 @@
 import org.jline.terminal.spi.SystemStream;
 import org.jline.terminal.spi.TerminalProvider;
 import org.jline.utils.Log;
+import org.jline.utils.OSUtils;
 
 /**
  * Builder class to create terminals.