From: notoria <notoria@users.noreply.github.com>
Date: Sun, 31 Jan 2021 10:03:17 +0000 (+0100)
Subject: Handled the empty case (#770)
X-Git-Tag: v0.9.0~155^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e5204e55d323598ef14e189f8dcee24bbcc90087;p=scryer-prolog.git

Handled the empty case (#770)
---

diff --git a/src/forms.rs b/src/forms.rs
index be572bc4..b99897a1 100644
--- a/src/forms.rs
+++ b/src/forms.rs
@@ -341,7 +341,13 @@ impl PredicateClause {
                     _ => None,
                 }
             },
-            PredicateClause::Rule(ref rule, ..) => Some(&rule.head.1),
+            PredicateClause::Rule(ref rule, ..) => {
+                if rule.head.1.is_empty() {
+                    None
+                } else {
+                    Some(&rule.head.1)
+                }
+            }
         }
     }