diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-09 13:44:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-09 20:44:13 +0000 |
| commit | 226244a0bdb68655c06d6d1b55b31be013bf7fa6 (patch) | |
| tree | ad19605834d8d30fd086581814c611d87c22df7a /docs/ext/examples.py | |
| parent | 6017579ab78cbc1390274290736ef311208a251b (diff) | |
docs: Migrate sets and relations theory reference. (#6698)
This migrates page https://cvc4.github.io/sets-and-relations.
It further adds the SMT2 version of examples/api/cpp/sets.cpp and adds
test/regress/regress0/rels/relations-ops.smt2 as smtlib example for
relations.
Diffstat (limited to 'docs/ext/examples.py')
| -rw-r--r-- | docs/ext/examples.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ext/examples.py b/docs/ext/examples.py index 003726de4..9f8f7294e 100644 --- a/docs/ext/examples.py +++ b/docs/ext/examples.py @@ -22,7 +22,7 @@ class APIExamples(Directive): '.cpp': {'title': 'C++', 'lang': 'c++'}, '.java': {'title': 'Java', 'lang': 'java'}, '.py': {'title': 'Python', 'lang': 'python'}, - '.smt2': {'title': 'SMT-LIBv2', 'lang': 'lisp'}, + '.smt2': {'title': 'SMT-LIBv2', 'lang': 'smtlib'}, } # The "arguments" are actually the content of the directive |