Diffstat (limited to 'src/walk/walkers/core/int.rs')
| -rw-r--r-- | src/walk/walkers/core/int.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/walk/walkers/core/int.rs b/src/walk/walkers/core/int.rs index 4d66dfc..1826803 100644 --- a/src/walk/walkers/core/int.rs +++ b/src/walk/walkers/core/int.rs @@ -1,7 +1,7 @@ +use effectful::bound::Dynamic; use effectful::effective::Effective; use effectful::environment::{DynBind, Environment, NativeForm}; use effectful::higher_ranked::Mut; -use effectful::bound::Dynamic; use effectful::SendSync; use crate::{ |