From 08e52c1ff6c326e2448c33aa79836b0e148b8466 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Tue, 6 Oct 2015 13:49:23 +0100
Subject: fix generated message to have correct file extension

---
 src/process_file.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/process_file.ml b/src/process_file.ml
index 726c9051..2b6ef616 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -171,12 +171,12 @@ let output1 libpath out_arg filename defs (* alldoc_accum alldoc_inc_accum alldo
 	  close_output_with_check ext_o
 	end
       | Ocaml_out None ->
-        let ((o,temp_file_name, filename) as ext_o) = open_output_with_check_unformatted (f' ^ ".ml") in
+        let ((o,temp_file_name, _) as ext_o) = open_output_with_check_unformatted (f' ^ ".ml") in
 	begin Pretty_print.pp_defs_ocaml o defs (generated_line filename) ["Sail_values"];
         close_output_with_check ext_o
         end
       | Ocaml_out (Some lib) ->
-        let ((o,temp_file_name, filename) as ext_o) = open_output_with_check_unformatted (f' ^ ".ml") in
+        let ((o,temp_file_name, _) as ext_o) = open_output_with_check_unformatted (f' ^ ".ml") in
 	Pretty_print.pp_defs_ocaml o defs (generated_line filename) ["Sail_values"; lib];
         close_output_with_check ext_o
 
-- 
cgit v1.2.3