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