From ed25721e17d6798aad7b7a0cea8e5393bb840a91 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 8 Apr 2010 09:57:37 -0400
Subject: Change query_policy to sendClient; all arguments passed to SQL
 predicates are variables

---
 src/mono_print.sml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index 50c4717a..76a89cc7 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -414,9 +414,9 @@ fun p_datatype env (x, n, cons) =
 
 fun p_policy env pol =
     case pol of
-        PolQuery e => box [string "query",
-                           space,
-                           p_exp env e]
+        PolClient e => box [string "sendClient",
+                            space,
+                            p_exp env e]
 
 fun p_decl env (dAll as (d, _) : decl) =
     case d of
-- 
cgit v1.2.3