From dfe58ec592fd719933cb7fedf98ff6e3be401d91 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Mon, 9 Dec 2024 10:17:35 +0000
Subject: [PATCH] Rename options.ml -> cli.ml

---
 bin/{options.ml => cli.ml} | 0
 bin/main.ml                | 4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename bin/{options.ml => cli.ml} (100%)

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 ]