From 3bf4b4489f4e8ee114773802bfc9d5a4a9e13d0b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 18 Jul 2019 18:36:52 +0100
Subject: Add a option to check for a feature symbol

---
 src/process_file.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/process_file.mli')

diff --git a/src/process_file.mli b/src/process_file.mli
index 91cde014..55c7906b 100644
--- a/src/process_file.mli
+++ b/src/process_file.mli
@@ -53,6 +53,7 @@
 val parse_file : ?loc:Parse_ast.l -> string -> Parse_ast.defs
 
 val clear_symbols : unit -> unit
+val have_symbol : string -> bool
 
 val preprocess_ast : (Arg.key * Arg.spec * Arg.doc) list -> Parse_ast.defs -> Parse_ast.defs
 val check_ast : Type_check.Env.t -> unit Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t
-- 
cgit v1.2.3