Commit 87060e50 authored by Diederik van Arkel's avatar Diederik van Arkel

Ensure project is saved before prover is launched.

parent 37ebeee6
...@@ -2,7 +2,7 @@ implementation module tools ...@@ -2,7 +2,7 @@ implementation module tools
import StdBool, StdFunc, StdFile, StdPStClass, StdSystem import StdBool, StdFunc, StdFile, StdPStClass, StdSystem
import ExtNotice, StdPathname import ExtNotice, StdPathname
import IdeState, UtilIO, PmPath import IdeState, UtilIO, PmPath, projwin
//-- call out to supporting applications... //-- call out to supporting applications...
...@@ -71,6 +71,8 @@ shoheapfun ps ...@@ -71,6 +71,8 @@ shoheapfun ps
provefun :: !*(PSt General) -> *PSt General provefun :: !*(PSt General) -> *PSt General
provefun ps provefun ps
# ps = pm_save ps // ensure project file is recent...
# (pathname,ps) = getPath ps # (pathname,ps) = getPath ps
# pr_path = quoted_string (RemoveSuffix` pathname +++. proofsuf) # pr_path = quoted_string (RemoveSuffix` pathname +++. proofsuf)
# (prefs,ps) = getPrefs ps # (prefs,ps) = getPrefs ps
......
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