From e230d565f1f0604eee2c964dab5374d07c24ed6d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 17 Aug 2014 13:07:56 -0400 Subject: New phase: Dbmodecheck --- src/scriptcheck.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/scriptcheck.sml') diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml index e5db476a..4bc2a4cf 100644 --- a/src/scriptcheck.sml +++ b/src/scriptcheck.sml @@ -98,7 +98,7 @@ fun classify (ds, ps) = else if IS.member (pull_ids, n) then ServerAndPull else - ServerOnly)) (IS.listItems all_ids) + ServerOnly, AnyDb)) (IS.listItems all_ids) in (ds, ps) end -- cgit v1.2.3