summaryrefslogtreecommitdiff
path: root/src/iflow.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/iflow.sig')
-rw-r--r--src/iflow.sig3
1 files changed, 2 insertions, 1 deletions
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 =