Mercurial > urweb

diff src/iflow.sig @ 1202:509a6d7b60fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Iflow tested with positive and negative cases
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 16:17:23 -0400
parents 5eac14322548
children 772760df4c4c
line wrap: on
line diff
--- a/src/iflow.sig	Sun Apr 04 15:17:57 2010 -0400
+++ b/src/iflow.sig	Sun Apr 04 16:17:23 2010 -0400
@@ -51,7 +51,7 @@
            | Reln of reln * exp list
            | Select of int * lvar * lvar * prop * exp
 
-    exception Summaries of (string * exp * prop * (exp * prop) list) list
+    exception Imply of prop * prop
 
     val check : Mono.file -> unit