Skip to content

Commit

Permalink
fix fusion
Browse files Browse the repository at this point in the history
  • Loading branch information
@SimonTsirikov
SimonTsirikov committed Jun 18, 2024
1 parent 5d898b3 commit 8e5e328
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/Deriving/DepTyCheck/Util/Fusion.idr
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@ import Language.Reflection.Derive
import Language.Reflection.Pretty
import Language.Reflection.Compat
import public Deriving.DepTyCheck.Gen
import Deriving.DepTyCheck.Util.Collections
import Deriving.DepTyCheck.Util.Reflection
import Data.Nat

Expand Down

0 comments on commit 8e5e328

Please sign in to comment.