fix spelling

Co-authored-by: Julian Erhard <[email protected]>
goblint · Jan 9, 2024 · 0b5cb5c · 0b5cb5c
1 parent 2333aba
commit 0b5cb5c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomains/apron/linearTwoVarEqualityDomain.apron.ml b/src/cdomains/apron/linearTwoVarEqualityDomain.apron.ml
@@ -1,4 +1,4 @@
-(** OCaml implementation of the linear two-Variable equalitie domain.
+(** OCaml implementation of the linear two-variable equality domain.
 
     @see <http://doi.acm.org/10.1145/2049706.2049710> A. Flexeder, M. Petter, and H. Seidl Fast Interprocedural Linear Two-Variable Equalities. *)