From 0ff5ac9a3f819109754207e1fc581e577f7fa499 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 30 Jul 2022 23:03:57 -0400 Subject: [PATCH] refactor(th-lra): rename to th-lra --- src/th-lra/dune | 4 ++-- src/th-lra/{sidekick_arith_lra.ml => sidekick_th_lra.ml} | 0 src/th-lra/{sidekick_arith_lra.mli => sidekick_th_lra.mli} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename src/th-lra/{sidekick_arith_lra.ml => sidekick_th_lra.ml} (100%) rename src/th-lra/{sidekick_arith_lra.mli => sidekick_th_lra.mli} (100%) diff --git a/src/th-lra/dune b/src/th-lra/dune index 9b4b555e..ff4f18bf 100644 --- a/src/th-lra/dune +++ b/src/th-lra/dune @@ -1,6 +1,6 @@ (library - (name sidekick_arith_lra) - (public_name sidekick.arith-lra) + (name sidekick_th_lra) + (public_name sidekick.th-lra) (synopsis "Solver for LRA (real arithmetic)") (flags :standard -warn-error -a+8 -w -32 -open Sidekick_util) (libraries containers sidekick.arith sidekick.simplex sidekick.cc diff --git a/src/th-lra/sidekick_arith_lra.ml b/src/th-lra/sidekick_th_lra.ml similarity index 100% rename from src/th-lra/sidekick_arith_lra.ml rename to src/th-lra/sidekick_th_lra.ml diff --git a/src/th-lra/sidekick_arith_lra.mli b/src/th-lra/sidekick_th_lra.mli similarity index 100% rename from src/th-lra/sidekick_arith_lra.mli rename to src/th-lra/sidekick_th_lra.mli