From 4cdfc211e288ffeddb4e7d4c40781b1401d87c7a Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 22 Feb 2017 15:53:12 -0700 Subject: [PATCH] arity bug fix --- src/l2/machine.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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); -- 2.54.0