diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/SmtEngine.3cvc_template.in (renamed from doc/SmtEngine.3cvc4_template.in) | 0 | ||||
-rw-r--r-- | doc/options.3cvc_template.in (renamed from doc/options.3cvc4_template.in) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/SmtEngine.3cvc4_template.in b/doc/SmtEngine.3cvc_template.in index 99b0451f6..99b0451f6 100644 --- a/doc/SmtEngine.3cvc4_template.in +++ b/doc/SmtEngine.3cvc_template.in diff --git a/doc/options.3cvc4_template.in b/doc/options.3cvc_template.in index 8ee39b761..8ee39b761 100644 --- a/doc/options.3cvc4_template.in +++ b/doc/options.3cvc_template.in |