From ea60f4f9ea12a50b9f2b7fcdc55b698c0627b879 Mon Sep 17 00:00:00 2001
From: AurumTheEnd <47597303+aurumtheend@users.noreply.github.com>
Date: Thu, 5 Oct 2023 14:26:33 +0200
Subject: [PATCH] fix(tests): used semantic_eq in unit tests

---
 src/expressions/mod.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/expressions/mod.rs b/src/expressions/mod.rs
index 671406d..ed5eb21 100644
--- a/src/expressions/mod.rs
+++ b/src/expressions/mod.rs
@@ -173,7 +173,7 @@ mod tests {
         );
         let actual = input.to_nnf();
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]
@@ -199,7 +199,7 @@ mod tests {
         );
         let actual = input.to_nnf();
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]
@@ -222,7 +222,7 @@ mod tests {
         );
         let actual = input.to_nnf();
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]
@@ -236,7 +236,7 @@ mod tests {
         );
         let actual = Expression::distribute(input_left, input_right);
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]