summaryrefslogtreecommitdiff
path: root/src/termination.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/termination.sml')
-rw-r--r--src/termination.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/termination.sml b/src/termination.sml
index 1bae7592..b0716eca 100644
--- a/src/termination.sml
+++ b/src/termination.sml
@@ -265,7 +265,7 @@ fun declOk' env (d, loc) =
in
(Rabble, calls)
end
- | EWith (e1, _, e2, _) =>
+ | EConcat (e1, _, e2, _) =>
let
val (_, calls) = exp parent (penv, calls) e1
val (_, calls) = exp parent (penv, calls) e2