From 763c71ec355b85ecfb8df3de07cce730f8947cb7 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 10 Jul 2020 18:41:30 +0200
Subject: Fix #12513: coq no longer reports mismatched version numbers.

---
 lib/objFile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/objFile.ml')

diff --git a/lib/objFile.ml b/lib/objFile.ml
index 96db51a010..26367aaffa 100644
--- a/lib/objFile.ml
+++ b/lib/objFile.ml
@@ -182,7 +182,7 @@ let open_in ~file =
     let version = input_int32 ch in
     let () =
       if not (Int32.equal magic magic_number) then
-        let e = { filename = file; actual = version; expected = magic_number } in
+        let e = { filename = file; actual = magic; expected = magic_number } in
         raise (Bad_magic_number e)
     in
     let () =
-- 
cgit v1.2.3