Client: update typecheck program flags and michelson mode

2018-02-17 20:42:03 -05:00 · 2018-02-17 20:42:03 -05:00 · 67b3338907
commit 67b3338907
parent 77bb186611
2 changed files with 3 additions and 3 deletions
--- a/emacs/michelson-mode.el
+++ b/emacs/michelson-mode.el
@ -395,7 +395,7 @@ Overrides `michelson-print-errors' and `michelson-highlight-errors'"
                        (concat "container:" tmp-file)
                      tmp-file)
                    "-details"
-                    "-emacs"))))
+                    "--emacs"))))
          (michelson-async-command-to-string
           command
           (lambda (output)
--- a/src/proto_alpha/lib_client_commands/client_proto_programs_commands.ml
+++ b/src/proto_alpha/lib_client_commands/client_proto_programs_commands.ml
@ -21,13 +21,13 @@ let commands () =
  let open Cli_entries in
  let show_types_switch =
    switch
-      ~long:"-details"
+      ~long:"details"
      ~short:'v'
      ~doc:"show the types of each instruction"
      () in
  let emacs_mode_switch =
    switch
-      ~long:"-emacs"
+      ~long:"emacs"
      ?short:None
      ~doc:"output in `michelson-mode.el` compatible format"
      () in