From e181cc32820f06a67c1fa6e6dfcb68d27468dc38 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 30 Nov 2021 18:53:58 +0100
Subject: Remove the vector type for the Id module

---
 src/Contexts.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/Contexts.ml')

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;
-- 
cgit v1.2.3