From dec796a9838e39148c007f3f3d360964d7cb68de Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 10 Jul 2022 18:25:57 -0400
Subject: Better error reporting when analyzing variants.

---
 stdlib/source/documentation/lux/control/security/capability.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/control/security/capability.lux b/stdlib/source/documentation/lux/control/security/capability.lux
index 8d9c7f2ad..d328cabd3 100644
--- a/stdlib/source/documentation/lux/control/security/capability.lux
+++ b/stdlib/source/documentation/lux/control/security/capability.lux
@@ -20,9 +20,9 @@
                "Applies a capability against its required input."
                [(use capability input)])
 
-             ($.definition /.capability:
+             ($.definition /.capability
                "Defines a capability as a unique type, and a constructor for instances."
-               [(capability: (Can_Duplicate a)
+               [(capability (Can_Duplicate a)
                   (can_duplicate a [a a]))
                 
                 (let [capability (can_duplicate
-- 
cgit v1.2.3