From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 22 Feb 2017 22:53:12 +0000 (-0700)
Subject: arity bug fix
X-Git-Tag: v0.8.110~776
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4cdfc211e288ffeddb4e7d4c40781b1401d87c7a;p=scryer-prolog.git

arity bug fix
---

diff --git a/src/l2/machine.rs b/src/l2/machine.rs
index c19cb40f..fcaf5543 100644
--- a/src/l2/machine.rs
+++ b/src/l2/machine.rs
@@ -68,7 +68,7 @@ impl Machine {
 
     pub fn add_fact(&mut self, fact: &Term, mut code: Code) {
         let p = self.code.len();
-        let name = fact.name().clone();
+        let name  = fact.name().clone();
         let arity = fact.arity();
 
         self.code.append(&mut code);
@@ -77,8 +77,8 @@ impl Machine {
 
     pub fn add_rule(&mut self, rule: &Rule, mut code: Code) {
         let p = self.code.len();
-        let name = rule.head.0.name().clone();
-        let arity = rule.head.1.arity();
+        let name  = rule.head.0.name().clone();
+        let arity = rule.head.0.arity();
 
         self.code.append(&mut code);
         self.code_dir.insert((name, arity), p);