refactor(th-lra): rename to th-lra

2025-12-09 04:35:35 -05:00 · 2022-07-30 23:03:57 -04:00 · 2022-07-30 23:03:57 -04:00 · 0ff5ac9a3f
commit 0ff5ac9a3f
parent 0d0751b7d2
3 changed files with 2 additions and 2 deletions
--- 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
--- a/src/th-lra/sidekick_arith_lra.ml
+++ b/src/th-lra/sidekick_arith_lra.ml
--- a/src/th-lra/sidekick_arith_lra.mli
+++ b/src/th-lra/sidekick_arith_lra.mli