From 14401b08e4779f1700ce50e97e98e88b9acf9e90 Mon Sep 17 00:00:00 2001 From: MilesCranmer Date: Mon, 12 Aug 2024 02:59:20 +0100 Subject: [PATCH] fix: missing `Pkg.resolve` --- pysr/julia_extensions.py | 1 + 1 file changed, 1 insertion(+) diff --git a/pysr/julia_extensions.py b/pysr/julia_extensions.py index b71f8acd5..ac4714d48 100644 --- a/pysr/julia_extensions.py +++ b/pysr/julia_extensions.py @@ -40,6 +40,7 @@ def isinstalled(uuid_s: str): def load_package(package_name: str, uuid_s: str) -> None: if not isinstalled(uuid_s): Pkg.add(name=package_name, uuid=uuid_s) + Pkg.resolve() # TODO: Protect against loading the same symbol from two packages, # maybe with a @gensym here.