diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-21 11:07:43 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-21 11:07:43 +0100 |
| commit | fa38b7c9d97efe4fed2da75b7c217788d1500eeb (patch) | |
| tree | 0c1cdd166a536352c6eef6d75c883421989b81c7 /src/versions/standard/Make | |
| parent | bfce2747a747f48465fe32c3d29304ca6e774f25 (diff) | |
| download | smtcoq-fa38b7c9d97efe4fed2da75b7c217788d1500eeb.tar.gz smtcoq-fa38b7c9d97efe4fed2da75b7c217788d1500eeb.zip | |
Solved a dependency problem for the compilation with Coq 8.5
Diffstat (limited to 'src/versions/standard/Make')
| -rw-r--r-- | src/versions/standard/Make | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/versions/standard/Make b/src/versions/standard/Make index 898186f..4d548ad 100644 --- a/src/versions/standard/Make +++ b/src/versions/standard/Make @@ -75,15 +75,15 @@ trace/smtTrace.ml smtlib2/smtlib2_parse.ml smtlib2/smtlib2_parse.mli -smtlib2/smtlib2_lex.ml smtlib2/smtlib2_ast.ml smtlib2/smtlib2_genConstr.ml +smtlib2/smtlib2_lex.ml smtlib2/smtlib2_util.ml verit/veritParser.ml verit/veritParser.mli -verit/veritLexer.ml verit/verit.ml +verit/veritLexer.ml verit/veritSyntax.ml verit/veritSyntax.mli |