diff options
author | Son Ho | 2021-11-30 18:53:58 +0100 |
---|---|---|
committer | Son Ho | 2021-11-30 18:53:58 +0100 |
commit | e181cc32820f06a67c1fa6e6dfcb68d27468dc38 (patch) | |
tree | bbbf49794299a89feff2ad6251ac3d334980affa /src/Modules.ml | |
parent | 4597bcfdfd5a072dec76100fa5b9a0ef98e6d898 (diff) |
Remove the vector type for the Id module
Diffstat (limited to 'src/Modules.ml')
-rw-r--r-- | src/Modules.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Modules.ml b/src/Modules.ml index a2b1d3bf..3be1c742 100644 --- a/src/Modules.ml +++ b/src/Modules.ml @@ -15,7 +15,7 @@ type declaration = type cfim_module = { declarations : declaration list; - types : type_def TypeDefId.vector; - functions : fun_def FunDefId.vector; + types : type_def list; + functions : fun_def list; } (** CFIM module *) |