Merge branch 'fix-merlin-confusion' into 'dev'

Rename executable to fix merlin confusion See merge request ligolang/ligo!232
2019-12-02 00:42:30 +00:00 · 2019-12-02 00:42:30 +00:00 · dcf5a7f9c9
commit dcf5a7f9c9
parent d1d9cea599 317313ecc6
2 changed files with 2 additions and 2 deletions
--- a/src/bin/dune
+++ b/src/bin/dune
@ -13,7 +13,7 @@
 )
 (executable
-  (name ligo)
+  (name runligo)
  (public_name ligo)
  (libraries
    simple-utils
@ -21,7 +21,7 @@
    ligo
    cli
  )
-  (modules ligo)
+  (modules runligo)
  (package ligo)
  (preprocess
    (pps ppx_let)
--- a/src/bin/runligo.ml
+++ b/src/bin/runligo.ml