diff options
| -rw-r--r-- | series.mac | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -174,7 +174,8 @@ matchdeclare(m_any1, lambda ([e], freeof(β, γ, Φ, e))); matchdeclare(m_any2, lambda ([e], freeof(β, γ, Φ, e))); matchdeclare(m_any3, lambda ([e], freeof(β, γ, Φ, e))); matchdeclare(m_any4, lambda ([e], freeof(β, γ, Φ, e))); -matchdeclare(m_exp_expr, lambda ([e], e = β_expr or e = γ_expr or e = Φ_expr)); +matchdeclare(m_exp_expr, lambda ([e], + e = β_expr or e = γ_expr or e = Φ_expr or e = e_expr)); /* Replace β, γ and Φ expressions into a symbolic representation */ defrule(r_wrap_exp, |