From ef79993b1016fbaa73b0993c88a16b23f8cb7408 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Tue, 11 Sep 2018 12:29:22 -0400 Subject: [PATCH] Explicitly ignore unused fields --- compiler/src/exe/tigerc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/src/exe/tigerc.ml b/compiler/src/exe/tigerc.ml index 42fcf00..5468ff7 100644 --- a/compiler/src/exe/tigerc.ml +++ b/compiler/src/exe/tigerc.ml @@ -1,5 +1,5 @@ let lexbuf_set_filename lb filename : unit = - let Lexing.({lex_start_p; lex_curr_p}) = lb in + let Lexing.({lex_start_p; lex_curr_p; _}) = lb in lb.Lexing.lex_start_p <- {lex_start_p with Lexing.pos_fname = filename}; lb.Lexing.lex_curr_p <- {lex_curr_p with Lexing.pos_fname = filename} -- 2.20.1