From 6d6691eefdb2444521b786a236c556f3cef992eb Mon Sep 17 00:00:00 2001
From: Alastair Reid
Date: Tue, 8 Aug 2017 11:14:22 +0100
Subject: Add add_typ_var to mli file

This function is used by asl_to_sail2.ml
---
 src/type_check.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/type_check.mli b/src/type_check.mli
index a2b8a10c..88d4ecae 100644
--- a/src/type_check.mli
+++ b/src/type_check.mli
@@ -85,6 +85,8 @@ module Env : sig
 
   val get_typ_vars : t -> base_kind_aux KBindings.t
 
+  val add_typ_var : kid -> base_kind_aux -> t -> t
+
   val is_record : id -> t -> bool
 
   val get_accessor : id -> id -> t -> typquant * typ
-- 
cgit v1.2.3