summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/iflow.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/iflow.sml b/src/iflow.sml
index 150b9774..83ab7d01 100644
--- a/src/iflow.sml
+++ b/src/iflow.sml
@@ -493,7 +493,7 @@ fun representative (db : database, e) =
Rep = ref NONE,
Cons = ref SM.empty,
Variety = Nothing,
- Known = ref false,
+ Known = ref (f = "allow"),
Ge = ref NONE})
in
#Funcs db := ((f, rs), r) :: (!(#Funcs db));
@@ -1608,7 +1608,7 @@ fun expIn rv env rvOf =
inl e => inl (Func (Other f, [e]))
| _ => default ())
- | Unmodeled => default ()
+ | Unmodeled => inl (Func (Other "allow", [rv ()]))
end
in
expIn