Re-fix interaction (revert commit 28fc860)

agda · Feb 29, 2024 · 102582d · 102582d
1 parent e55902f
commit 102582d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Main.hs b/src/Main.hs
@@ -87,4 +87,6 @@ isInteractive = do
 main = do
   -- Issue #201: disable backend when run in interactive mode
   isInt <- isInteractive
-  runAgda [Backend backend | not isInt]
+  if isInt
+    then runAgda [Backend backend{isEnabled = const False}]
+    else runAgda [Backend backend]