From e53c1a090eb9cfac3cb23d10d981648d02518ed1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 13 Aug 2021 04:18:57 -0400
Subject: Made program: specify its bindings the same way as syntax:.

---
 stdlib/source/specification/compositor/generation/primitive.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/source/specification')

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))))]
-- 
cgit v1.2.3