From b96fe393abfd1c6b04bacc07d559a41777275491 Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 2 Jul 2025 16:11:57 +0200 Subject: [PATCH] Remove empty file. (#2977) --- constraint-solver/src/lib.rs | 1 - constraint-solver/src/symbolic_to_quadratic.rs | 1 - 2 files changed, 2 deletions(-) delete mode 100644 constraint-solver/src/symbolic_to_quadratic.rs diff --git a/constraint-solver/src/lib.rs b/constraint-solver/src/lib.rs index 864382978..479ad6986 100644 --- a/constraint-solver/src/lib.rs +++ b/constraint-solver/src/lib.rs @@ -11,7 +11,6 @@ pub mod range_constraint; pub mod runtime_constant; pub mod solver; pub mod symbolic_expression; -pub mod symbolic_to_quadratic; pub mod test_utils; pub mod utils; pub mod variable_update; diff --git a/constraint-solver/src/symbolic_to_quadratic.rs b/constraint-solver/src/symbolic_to_quadratic.rs deleted file mode 100644 index 8b1378917..000000000 --- a/constraint-solver/src/symbolic_to_quadratic.rs +++ /dev/null @@ -1 +0,0 @@ -