comparison demo/tree.urs @ 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 b393c2fc80f8
children
comparison
equal deleted inserted replaced
1213:e791d93d4616 1214:648e6b087dfb