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/Contexts.ml | |
parent | 4597bcfdfd5a072dec76100fa5b9a0ef98e6d898 (diff) |
Remove the vector type for the Id module
Diffstat (limited to '')
-rw-r--r-- | src/Contexts.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Contexts.ml b/src/Contexts.ml index 8a498e2e..84c88e1c 100644 --- a/src/Contexts.ml +++ b/src/Contexts.ml @@ -18,9 +18,9 @@ type config = { mode : interpreter_mode; check_invariants : bool } [@@deriving show] type eval_ctx = { - type_context : type_def TypeDefId.vector; - fun_context : fun_def FunDefId.vector; - type_vars : type_var TypeVarId.vector; + type_context : type_def list; + fun_context : fun_def list; + type_vars : type_var list; env : env; symbolic_counter : SymbolicValueId.generator; borrow_counter : BorrowId.generator; |