diff src/export.sig @ 735:5ccb67665d05

Only use cookie signatures when cookies might be read
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 14:10:10 -0400
parents 5819fb63c93a
children b106ca8200b1
line wrap: on
line diff
--- a/src/export.sig	Thu Apr 16 19:12:12 2009 -0400
+++ b/src/export.sig	Thu Apr 23 14:10:10 2009 -0400
@@ -29,6 +29,7 @@
 
 datatype effect =
          ReadOnly
+       | ReadCookieWrite
        | ReadWrite
 
 datatype export_kind =