From 37089adb17640c1791b9ad0ee0b35697eeb235a7 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 14 Nov 2020 00:23:35 -0500
Subject: [PATCH] feat: add `-t` option to main

---
 src/main/main.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/main.ml b/src/main/main.ml
index 001d8330..fe36465a 100644
--- a/src/main/main.ml
+++ b/src/main/main.ml
@@ -78,6 +78,7 @@ let argspec = Arg.align [
     "--no-p", Arg.Clear p_progress, " no progress bar";
     "--size", Arg.String (int_arg size_limit), " <s>[kMGT] sets the size limit for the sat solver";
     "--time", Arg.String (int_arg time_limit), " <t>[smhd] sets the time limit for the sat solver";
+    "-t", Arg.String (int_arg time_limit), " short for --time";
     "--version", Arg.Unit (fun () -> Printf.printf "version: %s\n%!" Sidekick_version.version; exit 0), " show version and exit";
     "-d", Arg.Int Msat.Log.set_debug, "<lvl> sets the debug verbose level";
     "--debug", Arg.Int Msat.Log.set_debug, "<lvl> sets the debug verbose level";