From 041b5f9ef01be585c27796dda4f892e272b089b0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 14 Nov 2022 20:01:37 -0800 Subject: [PATCH] rename away solve_eqs2 to solve_eqs Signed-off-by: Nikolaj Bjorner --- src/tactic/core/solve_eqs_tactic.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/core/solve_eqs_tactic.h b/src/tactic/core/solve_eqs_tactic.h index 188f37f34..5d6da2e9a 100644 --- a/src/tactic/core/solve_eqs_tactic.h +++ b/src/tactic/core/solve_eqs_tactic.h @@ -3,7 +3,7 @@ Copyright (c) 2022 Microsoft Corporation Module Name: - solve_eqs2_tactic.h + solve_eqs_tactic.h Abstract: