Commit be1a46e4 authored by MARCHE Claude's avatar MARCHE Claude

filename for uncompressed shapes should be without extension

parent df0b3ef5
......@@ -499,7 +499,7 @@ let goal_expl g = Opt.get_def g.goal_name.Ident.id_string g.goal_expl
open Format
let db_filename = "why3session.xml"
let shape_filename = "why3shapes.dat"
let shape_filename = "why3shapes"
let compressed_shape_filename = "why3shapes.gz"
let session_dir_for_save = ref "."
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment