aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor
diff options
context:
space:
mode:
authorEduardo Julian2021-08-13 04:18:57 -0400
committerEduardo Julian2021-08-13 04:18:57 -0400
commite53c1a090eb9cfac3cb23d10d981648d02518ed1 (patch)
tree6c92c186525b6e73032ebea68765b791bcc27516 /stdlib/source/specification/compositor
parent17629d66062b88b040a2397032f6c08361a5f3a7 (diff)
Made program: specify its bindings the same way as syntax:.
Diffstat (limited to 'stdlib/source/specification/compositor')
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index ec00f935f..cd740649c 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -35,7 +35,7 @@
(_.test (%.name (name_of <synthesis>))
(|> (run <evaluation_name> (<synthesis> expected))
(case> (#try.Success actual)
- (<test> expected (:assume actual))
+ (<test> expected (:expected actual))
(#try.Failure _)
false))))]