diff --git a/bin/options.ml b/bin/cli.ml
similarity index 100%
rename from bin/options.ml
rename to bin/cli.ml
diff --git a/bin/main.ml b/bin/main.ml
index 3d918f24..53f0ca0d 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -18,8 +18,8 @@
 open Cmdliner
 
 let cli =
-  let cmd_run = Cmd.v Options.info_run Options.cmd_run in
-  let cmd_to_smt2 = Cmd.v Options.info_to_smt2 Options.cmd_to_smt2 in
+  let cmd_run = Cmd.v Cli.info_run Cli.cmd_run in
+  let cmd_to_smt2 = Cmd.v Cli.info_to_smt2 Cli.cmd_to_smt2 in
   let info = Cmd.info "smtml" ~version:"%%VERSION%%" in
   Cmd.group info [ cmd_run; cmd_to_smt2 ]