add inline specifier to GetRandomInstance

nasa · Jul 29, 2024 · 3c896f0 · 3c896f0
1 parent d156a5e
commit 3c896f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) {
   /*