From 74ecd5a7a53d963f28fbbcbab36b259c169cf5f5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 6 Apr 2010 09:51:36 -0400
Subject: Introduced the known() predicate

---
 src/iflow.sig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/iflow.sig')

diff --git a/src/iflow.sig b/src/iflow.sig
index 2ef8be5f..bc481022 100644
--- a/src/iflow.sig
+++ b/src/iflow.sig
@@ -39,7 +39,8 @@ signature IFLOW = sig
            | Finish
 
     datatype reln =
-             Sql of string
+             Known
+           | Sql of string
            | Eq
 
     datatype prop =
-- 
cgit v1.2.3