Add --with-comments to the juvix-format-buffer

anoma · Jan 24, 2023 · 8cb5c10 · 8cb5c10
2 parents 7de56a0 + eb1052b
commit 8cb5c10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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