Simplified the code, removed first_arg, the Option

2020-12-19 21:04:17 +01:00
parent 657e4f12bb
commit ec2c5a9b2c
3 changed files with 22 additions and 36 deletions
--- a/src/indexing.rs
+++ b/src/indexing.rs
@@ -143,8 +143,8 @@ impl CodeOffsets {
        }
    }

-    pub fn index_term(&mut self, first_arg: &Term, index: usize) {
-        match first_arg {
+    pub fn index_term(&mut self, optimal_arg: &Term, index: usize) {
+        match optimal_arg {
            &Term::Clause(_, ref name, ref terms, _) => {
                let code = self
                    .structures