From 317313ecc6f2710b11005f9fe8848c806562b4f5 Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Fri, 29 Nov 2019 13:22:13 -0600 Subject: [PATCH] Rename executable to fix merlin confusion --- src/bin/dune | 4 ++-- src/bin/{ligo.ml => runligo.ml} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename src/bin/{ligo.ml => runligo.ml} (100%) diff --git a/src/bin/dune b/src/bin/dune index 5c7e1ee88..5a2c5efd3 100644 --- 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) diff --git a/src/bin/ligo.ml b/src/bin/runligo.ml similarity index 100% rename from src/bin/ligo.ml rename to src/bin/runligo.ml