From 69b73c64cf8f96dbc9cdd6eebf87e2da3220f2b5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Oct 2025 15:11:35 -0700
Subject: [PATCH] enable post setup parameter tweaking in theory solvers,
 update azure-pipeline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_lra.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/theory_lra.h b/src/smt/theory_lra.h
index b816e84b8..fb1a16b15 100644
--- a/src/smt/theory_lra.h
+++ b/src/smt/theory_lra.h
@@ -99,6 +99,7 @@ namespace smt {
         bool get_upper(enode* n, rational& r, bool& is_strict);
         void solve_for(vector<solution>& s) override;
 
+
         // check if supplied set of linear constraints are LP feasible within current backtracking context
         // identify core by setting Boolean flags to true for constraints used in the proof of infeasibility
         // and return l_false if infeasible.