From 6d1565952856cbe436f500fb92ebff7c79bc750b Mon Sep 17 00:00:00 2001
From: wangyingjian <wangyingjian1990@gmail.com>
Date: Tue, 11 Jan 2022 15:35:36 +0100
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index efac844..9c26f9d 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ Equal return Left==right
                           
 2.A new term ConstantNum:Term ::= <Num:double> is introduced for SelfCompare and SelfEq(now use Compare and Equal with the Right term as ConstantNum).
 
-3.Term.eval() now has double as the type of return value. Therfore, Term.eval can be used by BinaryRelations for : eg. ID checking (int) or value checking (double).
+3.Term.eval() now has double as the type of return value. Therefore, Term.eval can be used by BinaryRelations for : eg. ID checking (int) or value checking (double).
 
 4.Subsetof:BinaryRelation is introduced to cover the case if A is a subset of B. Term.Set() is used to pass String[](or maybe just pass the HashSet) to Subsetof.eval().
 
-- 
GitLab