diff --git a/DOCUMENTATION.md b/DOCUMENTATION.md index 0797af3..3314bdb 100644 --- a/DOCUMENTATION.md +++ b/DOCUMENTATION.md @@ -146,7 +146,7 @@ The possible `Value`s, along with an example are as follows: In general: - (table ( ... ) ( ... ) ...) + (table ( ... ) ( ... ) ...) There are some more arcane `Value`s (see `Values.java` for a list), but they are not that important from the point of view of specifying a logical form.