aboutsummaryrefslogtreecommitdiff
path: root/core/control_flow.nom
diff options
context:
space:
mode:
Diffstat (limited to 'core/control_flow.nom')
-rw-r--r--core/control_flow.nom2
1 files changed, 1 insertions, 1 deletions
diff --git a/core/control_flow.nom b/core/control_flow.nom
index 964250e..9432a92 100644
--- a/core/control_flow.nom
+++ b/core/control_flow.nom
@@ -506,7 +506,7 @@ test:
assume ((result of: return 99) == 99)
# Inline thunk:
-(result of %body) compiles to "\(what ([] -> %body) compiles to)()"
+(result of %body) compiles to "\(what (-> %body) compiles to)()"
test:
%t = [1, [2, [[3], 4], 5, [[[6]]]]]
%flat = []