diff --git a/juvix-mode/flycheck-juvix.el b/juvix-mode/flycheck-juvix.el
index 4b7fc1f5f9..93044ee759 100644
--- a/juvix-mode/flycheck-juvix.el
+++ b/juvix-mode/flycheck-juvix.el
@@ -9,9 +9,10 @@
 
 (flycheck-define-checker juvix
   "A Juvix syntax checker."
-  :command ("juvix" "internal" "microjuvix" "typecheck" "--only-errors" "--no-colors"
+  :command ("juvix" "internal" "microjuvix" "typecheck" "--only-errors" "--no-colors" "--stdin"
             (option-flag "--no-stdlib" juvix-disable-embedded-stdlib)
             source-original)
+  :standard-input t
   :error-patterns
     (
      (error line-start (file-name) ":" line ":" column ": error:" (message (one-or-more (not "ת"))))