# sat-arithmetic: langref \- remove syntax disclaimer · gitcafe/zig

[View on GitCafe](https://git.cafe/gitcafe/zig/commit/1d86eae5269edcac5f32d166f13ed27483f07688)

Repository: [gitcafe/zig](https://git.cafe/gitcafe/zig)

Visibility: public

Requested revision: 1d86eae5269edcac5f32d166f13ed27483f07688

Requested commit: 1d86eae5269edcac5f32d166f13ed27483f07688

Commit: 1d86eae5269edcac5f32d166f13ed27483f07688

Tree: c17aa788fc57e0b5ad7e0b7b278bd85ed02e8d1b

Author: Travis Staloch

Committer: Andrew Kelley

## Message

```
sat-arithmetic: langref - remove syntax disclaimer

```

## Parents

- [0f246257be5029e7bb73ac9a5ff356171007bc7a](https://git.cafe/gitcafe/zig/commit/0f246257be5029e7bb73ac9a5ff356171007bc7a?format=markdown)

[Source at this commit](https://git.cafe/gitcafe/zig/tree/1d86eae5269edcac5f32d166f13ed27483f07688?format=markdown)