Skip to content
Snippets Groups Projects
Commit 4072a086 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] fix interactive prover startup

parent 8a6c02b3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/ProverWhy3.ml
+ 1
− 2
View file @ 4072a086
...@@ -1296,8 +1296,7 @@ let editor_command pconf = ...@@ -1296,8 +1296,7 @@ let editor_command pconf =
let scriptfile ~force ~ext wpo = let scriptfile ~force ~ext wpo =
let dir = Wp_parameters.get_session_dir ~force "interactive" in let dir = Wp_parameters.get_session_dir ~force "interactive" in
let filenoext = Filepath.Normalized.concat dir wpo.Wpo.po_sid in Filepath.Normalized.concat dir (wpo.Wpo.po_sid ^ ext)
Filepath.Normalized.concat filenoext ext
let updatescript ~script driver task = let updatescript ~script driver task =
let backup = Filepath.Normalized.concat script ".bak" in let backup = Filepath.Normalized.concat script ".bak" in
......
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