diff options
| author | Son Ho | 2022-01-28 14:59:33 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-28 14:59:33 +0100 |
| commit | 269a80fa8e87ee41948a65a168fe24ad8f388749 (patch) | |
| tree | 52914b0d64a39bcd4c6a14674fb874cd77ab06bc /src/Translate.ml | |
| parent | 057c6cc1f445449022b953b08f691e3f83386634 (diff) | |
Move some definitions to a new PureUtils.ml file
Diffstat (limited to '')
| -rw-r--r-- | src/Translate.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index 63b6027e..005ace94 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -6,6 +6,7 @@ module A = CfimAst module M = Modules module SA = SymbolicAst module Micro = PureMicroPasses +open PureUtils open TranslateCore (** The local logger *) @@ -175,7 +176,7 @@ let translate_function_to_pure (config : C.partial_config) let backward_output_tys = List.map (fun (v : Pure.var) -> v.ty) backward_outputs in - let backward_ret_ty = SymbolicToPure.mk_tuple_ty backward_output_tys in + let backward_ret_ty = mk_tuple_ty backward_output_tys in let backward_inputs = T.RegionGroupId.Map.singleton back_id backward_inputs in |