diff options
| author | ckeller <ckeller@users.noreply.github.com> | 2019-04-12 14:13:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-12 14:13:00 +0200 |
| commit | 02544aa0e9f2693de4b02a87d8e66cc8e72e3c8b (patch) | |
| tree | ec18dc8768ea8ca45ed380ffda289fe204a822a5 /src/versions/standard/_CoqProject | |
| parent | ad491f845f6fb3e88ff1169ac472f194d12306d2 (diff) | |
| download | smtcoq-02544aa0e9f2693de4b02a87d8e66cc8e72e3c8b.tar.gz smtcoq-02544aa0e9f2693de4b02a87d8e66cc8e72e3c8b.zip | |
Error message to state that tactics are not supported with native-coq (#47)
* Better error message for failing tactics with native-coq
Diffstat (limited to 'src/versions/standard/_CoqProject')
| -rw-r--r-- | src/versions/standard/_CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/versions/standard/_CoqProject b/src/versions/standard/_CoqProject index a71f500..f283e00 100644 --- a/src/versions/standard/_CoqProject +++ b/src/versions/standard/_CoqProject @@ -146,6 +146,7 @@ SMTCoq.v ReflectFacts.v PropToBool.v BoolToProp.v +QInst.v Tactics.v SMT_terms.v State.v |