diff options
Diffstat (limited to 'src/Inky/Term/Desugar.idr')
| -rw-r--r-- | src/Inky/Term/Desugar.idr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Inky/Term/Desugar.idr b/src/Inky/Term/Desugar.idr index 7051e4b..4bf8f05 100644 --- a/src/Inky/Term/Desugar.idr +++ b/src/Inky/Term/Desugar.idr @@ -2,8 +2,8 @@ module Inky.Term.Desugar import Data.List.Quantifiers import Data.Maybe -import Inky.Data.List -import Inky.Decidable +import Flap.Data.List +import Flap.Decidable import Inky.Term import Inky.Term.Substitution |