Rename executable to fix merlin confusion

2019-11-29 13:22:13 -06:00 · 2019-11-29 13:22:13 -06:00 · 317313ecc6
commit 317313ecc6
parent d1d9cea599
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