aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to '')
-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))))]