Merge pull request #25 from nasa/pysa-dpll-include-fix

Add `inline` specifier to `GetRandomInstance`
nasa · Jul 29, 2024 · 4b58821 · 4b58821
2 parents d156a5e + 3c896f0
commit 4b58821
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) {
   /*