HEVM: split utils files

ethereum · Oct 4, 2023 · 6bcda2a · 6bcda2a
1 parent 475d10f
commit 6bcda2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/act.cabal b/src/act.cabal
@@ -44,7 +44,7 @@ library
   hs-source-dirs:     .
   default-language:   Haskell2010
   exposed-modules:    CLI Error Print SMT Syntax.Annotated Syntax.TimeAgnostic
-  other-modules:      Lex Parse K Coq Syntax Syntax.Untyped Syntax.Typed Syntax.Types Syntax.Timing Type Enrich Dev HEVM Consistency
+  other-modules:      Lex Parse K Coq Syntax Syntax.Untyped Syntax.Typed Syntax.Types Syntax.Timing Type Enrich Dev HEVM Consistency HEVM_utils
 
 executable act
   import:             deps