diff --git a/src/lang/VariableTerm.java b/src/lang/VariableTerm.java
index 54b326b..8fb465e 100644
--- a/src/lang/VariableTerm.java
+++ b/src/lang/VariableTerm.java
@@ -14,6 +14,7 @@
  * @author Naoyuki Tamura (tamura@kobe-u.ac.jp)
  * @version 1.0
  */
+@SuppressWarnings("EqualsWrongThing")
 public class VariableTerm extends Term implements Undoable {
     /** Holds a term to which this variable is bound. Initial value is <code>this</code> (self-reference). */
     private Term val;