From fea9b8324d79ecd964dbadb05b46da377bf2eab2 Mon Sep 17 00:00:00 2001
From: Martin Berg Alstad <emberal+github@pm.me>
Date: Thu, 27 Jun 2024 19:23:47 +0200
Subject: [PATCH] Updated name of law

---
 src/types/types.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/types/types.d.ts b/src/types/types.d.ts
index f96a460..3cd9b80 100644
--- a/src/types/types.d.ts
+++ b/src/types/types.d.ts
@@ -60,7 +60,7 @@ type Law =
   | "DE_MORGANS_LAWS"
   | "ABSORPTION_LAW"
   | "ASSOCIATIVE_LAW"
-  | "DISTRIBUTION_LAW"
+  | "DISTRIBUTIVE_LAW"
   | "DOUBLE_NEGATION_ELIMINATION"
   | "COMMUTATIVE_LAW"