Merge pull request #36 from MatejKomlossy/hsReferencing

Fix HS rule validation depending on reference order
FMFI-UK-1-AIN-412 · Jun 28, 2021 · 31da4f5 · 31da4f5
2 parents af5e4e7 + 80fec57
commit 31da4f5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Validation/Rules/HS.elm b/src/Validation/Rules/HS.elm
@@ -23,6 +23,9 @@ getNewFormula f1 f2 =
             if b == c then
                 Ok (T (Impl a d))
 
+            else if d == a then
+                Ok (T (Impl c b))
+
             else
                 Err refStructureErr