From 5da82f03f0331ce9fb30238b26291615025bb6fc Mon Sep 17 00:00:00 2001
From: Paul-Walcher <paulwalcher12@gmail.com>
Date: Sat, 15 Jun 2024 08:41:30 +0200
Subject: [PATCH] added parentheses

---
 source/Scrolls/RectangleScroll.mmt | 2 +-
 source/Scrolls/RectangleType.mmt   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/Scrolls/RectangleScroll.mmt b/source/Scrolls/RectangleScroll.mmt
index d26f55b..0ee2869 100644
--- a/source/Scrolls/RectangleScroll.mmt
+++ b/source/Scrolls/RectangleScroll.mmt
@@ -47,7 +47,7 @@ theory RectangleScroll =
         meta ?MetaAnnotations?description s"Scrolls that takes three points and given a right-angle fact between those points
                                             and the distances from the first to the second and the second to the third point, constructs a rectangle." ❙
         ConstructedRectangle : Rectangle
-                ❘ = RectangleCons A B C
+                ❘ = (RectangleCons A B C)
                 ❘ meta ?MetaAnnotations?label s"Rectangle"
                 ❘ meta ?MetaAnnotations?description s"The constructed Rectangle."
         ❙
diff --git a/source/Scrolls/RectangleType.mmt b/source/Scrolls/RectangleType.mmt
index becda19..3986b05 100644
--- a/source/Scrolls/RectangleType.mmt
+++ b/source/Scrolls/RectangleType.mmt
@@ -1,5 +1,5 @@
 namespace http://mathhub.info/FrameIT/frameworld ❚
-fixmeta ur:?LF ❚
+fixmeta ?FrameworldMeta ❚
 
 theory RectangleType =
   
-- 
GitLab