From fa56c3ecad7bc53cfec970a672a8f139d75fe4f3 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Fri, 22 Jun 2018 16:23:17 +0200
Subject: [PATCH] Michelson: fix emacs mode

---
 emacs/michelson-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/emacs/michelson-mode.el b/emacs/michelson-mode.el
index 271999f50..dee64115c 100644
--- a/emacs/michelson-mode.el
+++ b/emacs/michelson-mode.el
@@ -401,7 +401,7 @@ Overrides `michelson-print-errors' and `michelson-highlight-errors'"
            (append (split-string michelson-client-command " ")
                    (list
                     "typecheck"
-                    "program"
+                    "script"
                     (if michelson-alphanet
                         (concat "container:" tmp-file)
                       tmp-file)