Verified Commit 7b489df1 authored by Justin Carpentier's avatar Justin Carpentier
Browse files

core: add missing include

Related to Eigen
parent a82e0fe0
Pipeline #15527 failed with stage
in 19 minutes and 11 seconds