arity bug fix

diff --git a/src/l2/machine.rs b/src/l2/machine.rs
index c19cb40f37cd25b35ad20ed6fa354ba806e57add..fcaf5543cc208ca64c30e47697d338ac49c430f8 100644 (file)
--- 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);