From 67b333890784a2468af222976c0ee4f42228bd00 Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Sat, 17 Feb 2018 20:42:03 -0500
Subject: [PATCH] Client: update typecheck program flags and michelson mode

---
 emacs/michelson-mode.el                                       | 2 +-
 .../lib_client_commands/client_proto_programs_commands.ml     | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/emacs/michelson-mode.el b/emacs/michelson-mode.el
index 6d9c18258..473ecf004 100644
--- 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)
diff --git a/src/proto_alpha/lib_client_commands/client_proto_programs_commands.ml b/src/proto_alpha/lib_client_commands/client_proto_programs_commands.ml
index eaff82bd3..96824decb 100644
--- 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