From 86a94bfcdedcb1824d7869f8d3a0e595d7015fc3 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 11 Dec 2014 18:25:48 +0000
Subject: Add 2 ** n function; support providing type variables to other files
 when lexing

---
 src/process_file.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/process_file.ml')

diff --git a/src/process_file.ml b/src/process_file.ml
index b38ec0c5..deca5d53 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -73,7 +73,7 @@ let parse_file (f : string) : Parse_ast.defs =
           raise (Reporting_basic.Fatal_error (Reporting_basic.Err_syntax_locn (l, m)))
       | Lexer.LexError(s,p) ->
           raise (Reporting_basic.Fatal_error (Reporting_basic.Err_lex (p, s))) in
-  let () = Lexer.custom_type_names := type_names in
+  let () = Lexer.custom_type_names := !Lexer.custom_type_names @ type_names in
   let lexbuf = get_lexbuf f in
     try
       Parser.file Lexer.token lexbuf
-- 
cgit v1.2.3