diff options
Diffstat (limited to 'src/Inky/Term/Substitution.idr')
| -rw-r--r-- | src/Inky/Term/Substitution.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Inky/Term/Substitution.idr b/src/Inky/Term/Substitution.idr index 690e38c..c99f5e6 100644 --- a/src/Inky/Term/Substitution.idr +++ b/src/Inky/Term/Substitution.idr @@ -1,7 +1,7 @@ module Inky.Term.Substitution import Data.List.Quantifiers -import Inky.Data.List +import Flap.Data.List import Inky.Term public export |