From 38a5d56edb135e4c70fa8bfdb6d7f51b587b5fdb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?= Date: Tue, 7 May 2024 18:52:12 +0200 Subject: [PATCH] Import forgotten `Extrae_jll` --- src/Extrae.jl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Extrae.jl b/src/Extrae.jl index bfffbd0..901d5cb 100644 --- a/src/Extrae.jl +++ b/src/Extrae.jl @@ -1,5 +1,7 @@ module Extrae +using Extrae_jll + include("FFI.jl") include("API.jl") export Event, typecode, valuecode, description