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