From a1ed2c0f0996fc41dcb6a6a8dbb6dab495943123 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Tue, 1 Mar 2022 12:38:48 +0100
Subject: [PATCH] Update libsolutil/LP.cpp

Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
---
 libsolutil/LP.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsolutil/LP.cpp b/libsolutil/LP.cpp
index 6b364a162..49f7a8ac3 100644
--- a/libsolutil/LP.cpp
+++ b/libsolutil/LP.cpp
@@ -74,7 +74,7 @@ struct Tableau
 
 /// Adds slack variables to remove non-equality costraints from a set of constraints
 /// and returns the data part of the tableau / constraints.
-/// The second return variable is true if a the original input had any equality constraints.
+/// The second return variable is true if the original input had any equality constraints.
 pair<vector<LinearExpression>, bool> toEquationalForm(vector<Constraint> _constraints)
 {
 	size_t varsNeeded = static_cast<size_t>(ranges::count_if(_constraints, [](Constraint const& _c) { return !_c.equality; }));