diff options
-rw-r--r-- | src/Var.vala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Var.vala b/src/Var.vala index 1437ede..eb44637 100644 --- a/src/Var.vala +++ b/src/Var.vala @@ -20,10 +20,18 @@ namespace Eva { } protected bool do_match(Term o, Gee.Map<string, Term> vars, Gee.Map<string, string> aliases) { + if(name == "_") { + return true; + } + string key = alias(name, aliases); if(o is Var) { Var v = o as Var; + if(v.name == "_") { + return true; + } + string vkey = alias(v.name, aliases); if(key == vkey) |