diff options
| author | Son HO | 2022-10-21 11:14:15 +0200 |
|---|---|---|
| committer | GitHub | 2022-10-21 11:14:15 +0200 |
| commit | b4be489e7a5753bcc7f8714273ae71260fac53ce (patch) | |
| tree | 45459740595bcdd70e5f4856b8499d1680d4ab91 /src/Print.ml | |
| parent | 53a2b8a2989485e8885d02c786206de84c9fd91d (diff) | |
| parent | d62563cf9b8ef29ce20e810a5b1da999122c7a2f (diff) | |
Merge pull request #4 from AeneasVerif/son_update_charon
Update the code to account for changes in Charon
Diffstat (limited to '')
| -rw-r--r-- | src/Print.ml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/Print.ml b/src/Print.ml index c10c5989..1439a74d 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -6,7 +6,6 @@ module VU = ValuesUtils module E = Expressions module A = LlbcAst module C = Contexts -module M = Modules let option_to_string (to_string : 'a -> string) (x : 'a option) : string = match x with Some x -> "Some (" ^ to_string x ^ ")" | None -> "None" @@ -1194,19 +1193,21 @@ module Module = struct in PA.fun_decl_to_string fmt "" " " def - let module_to_string (m : M.llbc_module) : string = + let module_to_string (m : Crates.llbc_crate) : string = let types_defs_map, funs_defs_map, globals_defs_map = - M.compute_defs_maps m + Crates.compute_defs_maps m in (* The types *) - let type_decls = List.map (type_decl_to_string types_defs_map) m.M.types in + let type_decls = + List.map (type_decl_to_string types_defs_map) m.Crates.types + in (* The functions *) let fun_decls = List.map (fun_decl_to_string types_defs_map funs_defs_map globals_defs_map) - m.M.functions + m.Crates.functions in (* Put everything together *) |