NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix import path

Browse Source
This commit is contained in:
Hadrien Croubois
2023-05-03 18:40:46 +02:00
parent 75d6f5a42c
commit 3d9ef789cc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
certora/specs/helpers/Governor.helpers.spec
View File

@ -1,6 +1,6 @@
import "helpers.spec"
import "methods/IGovernor.spec"
import "methods/ITimelockController.spec"
import "../methods/IGovernor.spec"
import "../methods/ITimelockController.spec"
/*
┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┐