From 2ae113cd598858fc85a857c51ac85644930925d9 Mon Sep 17 00:00:00 2001
From: Tor Erlend Fjelde <tor.erlend95@gmail.com>
Date: Thu, 7 Sep 2023 09:21:49 +0100
Subject: [PATCH] Update src/DynamicPPL.jl

Co-authored-by: David Widmann <devmotion@users.noreply.github.com>
---
 src/DynamicPPL.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/DynamicPPL.jl b/src/DynamicPPL.jl
index 028b953f4..9e8d9511c 100644
--- a/src/DynamicPPL.jl
+++ b/src/DynamicPPL.jl
@@ -179,8 +179,8 @@ if !isdefined(Base, :get_extension)
     using Requires
 end
 
-function __init__()
-    @static if !isdefined(Base, :get_extension)
+@static if !isdefined(Base, :get_extension)
+    function __init__()
         @require MCMCChains = "c7f686f2-ff18-58e9-bc7b-31028e88f75d" include(
             "../ext/DynamicPPLMCMCChainsExt.jl"
         )