From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 11 Sep 2018 16:29:22 +0000 (-0400)
Subject: Explicitly ignore unused fields
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=ef79993b1016fbaa73b0993c88a16b23f8cb7408;p=tiger.ml.git

Explicitly ignore unused fields
---

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}