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"