platformio开发arduino报错

我在arduino用了一个库，没有保存，然后在platformio进行arduino开发，也下载了那个库，但是会有一个函数报错。已经排除了库有没有安装的问题，这个怎么办。