From c0fa50dc807a1edb39738cb16530018aa892fac4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 16:17:08 +0100
Subject: Start working on signatures for the assumed functions

---
 src/InterpreterStatements.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/InterpreterStatements.ml')

diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml
index 83ad13fe..e1410ed3 100644
--- a/src/InterpreterStatements.ml
+++ b/src/InterpreterStatements.ml
@@ -15,6 +15,7 @@ open InterpreterProjectors
 open InterpreterExpansion
 open InterpreterPaths
 open InterpreterExpressions
+open Assumed
 
 (** The local logger *)
 let log = L.statements_log
@@ -481,7 +482,7 @@ let eval_box_new_inst_sig (region_params : T.erased_region list)
     (type_params : T.ety list) : A.inst_fun_sig =
   (* The signature is:
      `T -> Box<T>`
-     where T is the type pram
+     where T is the type param
   *)
   match (region_params, type_params) with
   | [], [ ty_param ] ->
-- 
cgit v1.2.3