diff options
author | Son Ho | 2022-01-27 22:16:44 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 22:16:44 +0100 |
commit | d15d71ca9f903883fcbfa515aa1e0637074ab78d (patch) | |
tree | 4bae16226021e901e7764f500114c2912720116c /src/Translate.ml | |
parent | 6070002cbc97a46b8c060a8ac58c0602a1fbf660 (diff) |
Make minor modifications and create PureMicroPasses.ml
Diffstat (limited to 'src/Translate.ml')
-rw-r--r-- | src/Translate.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index 9de07519..e3f7bbb2 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -5,6 +5,7 @@ module T = Types module A = CfimAst module M = Modules module SA = SymbolicAst +module Micro = PureMicroPasses (** The local logger *) let log = L.translate_log |