Skip to content

Commit

Permalink
remove warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
zoep committed Oct 30, 2024
1 parent 7063486 commit d8c1f42
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/Act/HEVM.hs
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,6 @@ import Act.Syntax.Annotated as Act
import Act.Syntax.Untyped (makeIface)
import Act.Syntax
import Act.Error
import Act.Print
import qualified Act.Syntax.TimeAgnostic as TA
import Act.Syntax.Timing

Expand All @@ -57,8 +56,6 @@ import EVM.Effects
import EVM.Format as Format
import EVM.Traversals

import Debug.Trace

type family ExprType a where
ExprType 'AInteger = EVM.EWord
ExprType 'ABoolean = EVM.EWord
Expand Down

0 comments on commit d8c1f42

Please sign in to comment.