We investigate the Paterson-Wegman-de Champeaux linear-time unification algorithm. We show that there is a small mistake in the de Champeaux presentation of the algorithm and we provide a fix.

中文翻译：

---

Paterson-Wegman-de Champeaux 算法中的一个错字

我们研究了 Paterson-Wegman-de Champeaux 线性时间统一算法。我们表明 de Champeaux 算法的演示中有一个小错误，我们提供了一个修复。