Rename options.ml -> cli.ml

formalsec · Dec 9, 2024 · dfe58ec · dfe58ec
1 parent 2acf83a
commit dfe58ec
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/options.ml → bin/cli.ml b/bin/options.ml → bin/cli.ml
diff --git 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 ]