From 3c896f0c47489be907623d3e4f11315ae0c03835 Mon Sep 17 00:00:00 2001
From: hmunozb <humberto.munozb@gmail.com>
Date: Mon, 29 Jul 2024 00:45:13 -0700
Subject: [PATCH] add inline specifier to GetRandomInstance

---
 include/pysa/sat/instance.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/pysa/sat/instance.hpp b/include/pysa/sat/instance.hpp
index f0a5f20..41ebd0a 100644
--- a/include/pysa/sat/instance.hpp
+++ b/include/pysa/sat/instance.hpp
@@ -30,7 +30,7 @@ specific language governing permissions and limitations under the License.
 
 namespace pysa::dpll::sat {
 
-auto GetRandomInstance(const std::size_t k, const std::size_t n,
+inline auto GetRandomInstance(const std::size_t k, const std::size_t n,
                        const std::size_t m,
                        const std::optional<std::size_t> seed = std::nullopt) {
   /*