From eb1052b67ddb4baccc279cc6dc3c8c4fb1bf2aba Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Tue, 24 Jan 2023 13:19:41 +0100 Subject: [PATCH] add --with-comments to the juvix-format-buffer --- juvix-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-mode.el b/juvix-mode.el index 5655836..89e0fb5 100644 --- a/juvix-mode.el +++ b/juvix-mode.el @@ -69,7 +69,7 @@ ) (with-temp-buffer (let (( - cmd-str (concat "juvix " (if juvix-disable-embedded-stdlib "--no-stdlib " "") "dev scope " + cmd-str (concat "juvix " (if juvix-disable-embedded-stdlib "--no-stdlib " "") "dev scope --with-comments " buff-name) )) (if (zerop (call-process-shell-command