From 0b2294bc184b1ed3e82dc00096e9971245239e2c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 1 Oct 2022 18:39:48 -0400
Subject: New format for extensions [part 1]

---
 stdlib/source/library/lux.lux | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'stdlib/source/library/lux.lux')

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 62a51de98..249e77569 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -5878,5 +5878,8 @@
         _
         (failure (..wrong_syntax_error (symbol ..Rec)))))))
 
+(def .public Synthesis
+  (Primitive "#Synthesis"))
+
 (def .public Generation
   (Primitive "#Generation"))
-- 
cgit v1.2.3