fix(library/hop_match): style
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
69d7ee316f
commit
8e90d17a0b
1 changed files with 1 additions and 1 deletions
|
@ -256,7 +256,7 @@ class hop_match_fn {
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
} if (all_free_vars_are_assigned(p, ctx_size)) {
|
} else if (all_free_vars_are_assigned(p, ctx_size)) {
|
||||||
instantiate_free_vars_proc proc(*this, ctx_size);
|
instantiate_free_vars_proc proc(*this, ctx_size);
|
||||||
expr new_p = proc(p);
|
expr new_p = proc(p);
|
||||||
return new_p == t;
|
return new_p == t;
|
||||||
|
|
Loading…
Reference in a new issue