summaryrefslogtreecommitdiff
path: root/src/scriptcheck.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/scriptcheck.sml')
-rw-r--r--src/scriptcheck.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml
index e0b9f855..09e9e884 100644
--- a/src/scriptcheck.sml
+++ b/src/scriptcheck.sml
@@ -165,7 +165,7 @@ fun classify (ds, ps) =
val ps = map (fn (ek, x, n, ts, t, _) =>
(ek, x, n, ts, t,
if IS.member (push_ids, n) then
- (if not (#supportsPush proto) andalso not (!foundBad) then
+ (if not (#persistent proto) andalso not (!foundBad) then
(foundBad := true;
ErrorMsg.error ("This program needs server push, but the current protocol ("
^ #name proto ^ ") doesn't support that."))