diff src/mono_print.sml @ 1214:648e6b087dfb

Change query_policy to sendClient; all arguments passed to SQL predicates are variables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 09:57:37 -0400
parents c316ca3c9ec6
children 526575a9537a
line wrap: on
line diff
--- a/src/mono_print.sml	Tue Apr 06 16:14:19 2010 -0400
+++ b/src/mono_print.sml	Thu Apr 08 09:57:37 2010 -0400
@@ -414,9 +414,9 @@
 
 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