From df0e015145981602b3f97113bcfa586b4f6d0757 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 20 Nov 2022 18:55:23 -0400
Subject: Fixed a bug when optimization record access.

---
 stdlib/source/specification/lux/abstract/mix.lux | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/specification')

diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index f1389f9e3..51c2d5d71 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -14,11 +14,12 @@
  [\\library
   ["[0]" /]])
 
-(def .public (spec injection comparison (open "@//[0]"))
+(def .public (spec injection comparison (open "/#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
   (do random.monad
     [subject random.nat
      parameter random.nat]
-    (_.coverage [/.Mix]
-      (n.= (@//mix n.+ parameter (injection subject))
-           (n.+ parameter subject)))))
+    (<| (_.for [/.Mix])
+        (_.coverage [/.mix]
+          (n.= (/#mix n.+ parameter (injection subject))
+               (n.+ parameter subject))))))
-- 
cgit v1.2.3