s/attribut /attribute /

This commit is contained in:
Patrick Hilhorst 2018-10-02 22:13:32 +02:00 committed by GitHub
parent ecc84433e3
commit 2e330b4601
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -411,7 +411,7 @@ data NBinaryOp
| NAnd -- ^ Logical and (&&)
| NOr -- ^ Logical or (||)
| NImpl -- ^ Logical implication (->)
| NUpdate -- ^ Joining two attribut sets (//)
| NUpdate -- ^ Joining two attribute sets (//)
| NPlus -- ^ Addition (+)
| NMinus -- ^ Subtraction (-)
| NMult -- ^ Multiplication (*)