From ce5bbb12a1f568050957fa3d1d34d761729d0880 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 23 Nov 2021 14:36:33 +0100
Subject: Implement copy_value

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

(limited to 'src/Contexts.ml')

diff --git a/src/Contexts.ml b/src/Contexts.ml
index 88af46d4..6d6766b4 100644
--- a/src/Contexts.ml
+++ b/src/Contexts.ml
@@ -36,13 +36,13 @@ type eval_ctx = {
 }
 (** Evaluation context *)
 
-let fresh_symbolic_value_id (ctx : eval_ctx) : SymbolicValueId.id * eval_ctx =
+let fresh_symbolic_value_id (ctx : eval_ctx) : eval_ctx * SymbolicValueId.id =
   let id, counter' = SymbolicValueId.fresh ctx.symbolic_counter in
-  (id, { ctx with symbolic_counter = counter' })
+  ({ ctx with symbolic_counter = counter' }, id)
 
-let fresh_borrow_id (ctx : eval_ctx) : BorrowId.id * eval_ctx =
+let fresh_borrow_id (ctx : eval_ctx) : eval_ctx * BorrowId.id =
   let id, counter' = BorrowId.fresh ctx.borrow_counter in
-  (id, { ctx with borrow_counter = counter' })
+  ({ ctx with borrow_counter = counter' }, id)
 
 let lookup_type_var (ctx : eval_ctx) (vid : TypeVarId.id) : type_var =
   TypeVarId.nth ctx.type_vars vid
-- 
cgit v1.2.3