From 99918c8a8cfb4285798a70351673be2679a6e819 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 29 Sep 2015 21:27:26 +0200
Subject: Fix dumb typo.

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

diff --git a/library/library.ml b/library/library.ml
index 6da9ccf68b..024ac9e6fa 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -768,7 +768,7 @@ let save_library_to ?todo dir f otab =
     iraise reraise
 
 let save_library_raw f sum lib univs proofs =
-  let f' = f^".o" in
+  let f' = f^"o" in
   let ch = raw_extern_library f' in
   System.marshal_out_segment f' ch (sum        : seg_sum);
   System.marshal_out_segment f' ch (lib        : seg_lib);
-- 
cgit v1.2.3